In article <38894138-77c7-4b3a-91a7-79a597894c83@2g2000hsn.googlegroups.com>, <contact080501@jamesrmeyer.com> wrote: >As for his comment that I am merely making a historical claim, he >should be aware that Gödels original proof is still the subject of >much study. Isnt it the case that if there is a flaw in Gödels >proof, which has been accepted as correct for over seventy-five years >of intense study by logicians, that that would indicate a very serious >problem in the understanding of logic by logicians? And would that not >also indicate that there should be some very serious consideration of >how that could have happened?
O.K., so you're making a purely historical claim. That is, Goedel's incompleteness theorems are perfectly meaningful and correct, and there exist lots of perfectly correct proofs of it, e.g., the proof in Coq. But, you claim, Goedel made a mistake in his proof of Proposition V. And this is some scandal or something.
Fine. I'm not going to argue with you about that. If USENET had sound, I would happily gasp a few times in shock at all those stupid logicians, just for your listening pleasure. As long as Goedel's theorem itself stands intact, I don't really care to read the tabloids.
I now happily resume my usual illogical lifestyle. -- Tim Chow tchow-at-alum-dot-mit-dot-edu The range of our projectiles---even ... the artillery---however great, will never exceed four of those miles of which as many thousand separate us from the center of the earth. ---Galileo, Dialogues Concerning Two New Sciences
