Ideas of Hilbert,D/Ackermann,W, by Theme

[German, fl. 1928, Two leading mathematicians of their time.]

green numbers give full details    |    back to list of philosophers    |     unexpand these ideas    |    

---

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750	The first clear proof of the consistency of the first order predicate logic was in 1928
	Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann.
	From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1