Gödel proved that there are true sentences that cannot be proved.
Suppose I told you that the Goldbach conjecture is one of those. (The Goldbach conjecture supposes that every even integer number can be expressed as the sum of two odd primes.)
Is that logically possible? (And, no, I haven't proved it!)
(In reply to
re: Waiting for Godel (Spoiler) by Bruce Brantley)
Bruce Brantley: "My question is, What does ZF refer to in the comment you posted?"
ZF were the initials of Ziggy Feinstein, Godel's mathematics professor.
Sorry, I was joking. I have such a great sense of humor, it isn't even funny. The real answer is that ZF stands for Zermelo Fraenkel (ZF) set theory. It is described at
http://www.mtnmath.com/book/node21.html
Edited on August 22, 2004, 11:16 pm

Posted by Penny
on 20040822 23:07:58 