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 |
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 [Walicki]
|