Combining Philosophers

All the ideas for Hilbert,D/Ackermann,W, Anon (Plat) and Carl Friedrich Gauss

expand these ideas     |    start again     |     specify just one area for these philosophers

---

3 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 [Hilbert/Ackermann, by Walicki]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite

10855

Actual infinities are not allowed in mathematics - only limits which may increase without bound [Gauss]

17. Mind and Body / A. Mind-Body Dualism / 1. Dualism

3519	Man uses his body, so must be separate from it [Anon (Plat), by Maslin]