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

Completeness theorem

  1. Jul 4, 2008 #1


    User Avatar

    Need an elementary logic book that completely covers the completeness theorem (no pun intended).
  2. jcsd
  3. Jul 4, 2008 #2


    User Avatar
    Science Advisor

    What do you mean by the "completeness theorem"? I know of Goedel's incompleteness theorem. If that is what you mean, I honestly don't think an elementary logic book could! In my opinion, Nagel and Neumann's book "Goedel's Proof" is probably the simplest.
  4. Jul 4, 2008 #3


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Gödel proved a completeness theorem in addition to his two incompleteness theorems for logic. There are probably other 'completness theorem's too both in logic and in other contexts, so it's not clear that's the one the OP means.

    If the OP does mean Gödel's completeness theorem, I imagine it should be in just about any good introductory text on formal logic. (i.e. a text meant to teach the discipline of formal logic, rather than an 'introduction to proofs in mathematics'-type book)
  5. Jul 4, 2008 #4


    User Avatar

    Yes, Godel's completeness theorem. Any specific ones? I am looking for the most basic one available.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook