Re: Evaluation of article

Hi,

Thank you. Way above and beyond. Much appreciated.

"Charlie-Boo" <chvol@xxxxxxx> skrev i melding
news:1134639163.419984.133780@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
> Tron wrote:
>> Hi,
>>
>> Sorry, it is a Goedel again.
>> I just wondered if any of you cognoscenti would be so kind as to cast a
>> quick glance at
>>
>> http://www.columbia.edu/~hg17/Diagonal-Cantor-Goedel-05.pdf
>>
>> and see/say if the presentation of Goedel here is within the non-kooky
>> mainstream of accepted readings of G. ? I.e. not a waste of time?
>
> This new Gaifman paper, "The Easy Way to Godel's Proof and Related
> Matters", has nothing new that I could see.

Lots of new stuff to me, though.
My main interest is that he works up to less and less formalized systems.

Thanks again.

T


.

Quantcast