PhilosophyIdeas
.com Database 
Current Total Ideas:
19,014

home

back
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
17750
The first clear proof of the consistency of the first order predicate logic was in 1928