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.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Completeness theorem Date
Lattice/Complete lattice Jun 10, 2014
Confidence of complete spatial randomness May 8, 2014
Complete Random Design vs RCBD Sep 7, 2013
Completeness notions in logic Feb 23, 2013
Np-completeness; Cook's Theorem Jan 29, 2005