Combining Philosophers

Ideas for Anaximander, JC Beall / G Restall and Edward Conze

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

1 idea

6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics

10692	Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
	Full Idea: There are many proof-systems, the main being Hilbert proofs (with simple rules and complex axioms), or natural deduction systems (with few axioms and many rules, and the rules constitute the meaning of the connectives).
	From: JC Beall / G Restall (Logical Consequence [2005], 3)