Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Godel's Theorem

  1. Jun 9, 2004 #1
    I was just reading about Godel's Theorem. I was unable to grasp the exact meaning of this sentence:

    from the paragraph:

    I don't understand what is meant by "..retruning a Godel proposition.."
  2. jcsd
  3. Jun 10, 2004 #2

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    computer speak: just means given the set of axioms there is a method of examining them and then writing down a proposition which is consistent with the axioms, and whose negation is also consistent with the axioms. Meaning if we assume it true there are no contradictions, and if we assume its negation is true there are still no contradictions. Example, the continuum hypothesis and the axioms of ZFC (godel propositions are a little unrealistic; formally they are correct, but practically they aren't propositions you might come across 'naturally')
  4. Jun 10, 2004 #3


    User Avatar

    You've probably already heard about or even read it, but I recommend Godel Escher Bach by Douglas H. It was the only layman book I read that broke down Godels argument for me in an understandable fashion. I read it when I was like ten and it still made sense to me, despite my age. That is the sign of a good author, since the idea itself isn't at all intuitive or obvious, especially to a kid.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook