[seqfan] Re: A175347: Primes in A176303

[Jonathan Post]

I agree.  More great results by Charles Greathouse.  I'd better hurry
up and do the next draft of my planned paper with him on Decimal
Godelization, where he generated and listed the first trillion
theorems, the first truillion antitheorems, and the first trillion
contingent WFFs, which correction/expansionalso was urged by njas.
And impressed senior Math faculty at Caltech. And, last week, the head
of Astrophysics for NASA, who actually scribbled down what I said
about measuring a new fundamental constant to several decimal spaces,
parameterizing the fractal structure of Truth in Propositional
Calculus.

On Mon, Apr 19, 2010 at 10:41 AM, Vladimir Shevelev <shevelev at bgu.ac.il> wrote:
> I am very impressed also by the last results of Charles Greathouse. I think that they should be include in A169716.
>
> Best regards,
> Vladimir
>
>  Shevelev Vladimir‎
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/
>