Combining Philosophers

All the ideas for Mnesarchus, Mahavastu and Hilbert,D/Ackermann,W

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]

9. Objects / C. Structure of Objects / 6. Constitution of an Object

6019	If someone squashed a horse to make a dog, something new would now exist [Mnesarchus]

28. God / B. Proving God / 3. Proofs of Evidence / e. Miracles

7902	The Buddha made flowers float in the air, to impress people, and make them listen [Mahavastu]