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

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

idea number gives full details    |    back to list of philosophers    |     expand these ideas
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
The first clear proof of the consistency of the first order predicate logic was in 1928