PhilosophyIdeas.com Database     |     Current Total Ideas: 22,401     |     home     |     back

Ideas from 'Completeness of Axioms of Logic' by Kurt Gödel [1930], by Theme Structure

[found in 'From Frege to Gödel 1879-1931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0-674-32449-8]].

green numbers give full details    |     back to texts     |     unexpand this idea

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751 Gödel proved the completeness of first order predicate logic in 1930
                        Full Idea: Gödel proved the completeness of first order predicate logic in his doctoral dissertation of 1930.
                        From: report of Kurt Gödel (Completeness of Axioms of Logic [1930]) by Michal Walicki - Introduction to Mathematical Logic History E.2.2