Chris M has pointed out that I was not quite accurate: (01)
On Jan 25, 2012, at 4:16 PM, Pat Hayes wrote: (02)
> ....
>> but the diagonalization Gödel invented for his proof is one which shows a
>more creative view of math than previously stated by earlier mathematicians.
>
> Nonsense. First, Goedel's proof does not use diagonalization: (03)
Wrong. It does, in one form. But the technique was not invented by Goedel. (04)
Pat (05)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (07)
|