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

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

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

1928 Principles of Theoretical Logic
p.35 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