All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Paradoxes
Provably unprovable? (Posted on 2004-08-22) Difficulty: 4 of 5
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!)

See The Solution Submitted by Federico Kereki    
Rating: 3.2727 (11 votes)

Comments: ( Back to comment list | You must be logged in to post comments.)
re: Waiting for Godel (Spoiler) | Comment 10 of 36 |
(In reply to Waiting for Godel (Spoiler) by Penny)

Yes, that was interesting.  I never heard of the Goldbach Conjecture, Godel, Peano arithmatic or symbols (thank you Penny) until I read this puzzle.  At least not that I can recall.  My question is, What does ZF refer to in the comment you posted? 
  Posted by Bruce Brantley on 2004-08-22 22:44:59

Please log in:
Remember me:
Sign up! | Forgot password

Search body:
Forums (0)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (7)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Copyright © 2002 - 2018 by Animus Pactum Consulting. All rights reserved. Privacy Information