The following pages link to The Great Formal Machinery Works (Q5348547):
Displaying 8 items.
- Aristotle's prototype rule-based underlying logic (Q1653547) (← links)
- Gentzen's proof systems: byproducts in a work of genius (Q2915886) (← links)
- Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms (Q3305640) (← links)
- KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION (Q4961869) (← links)
- INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS (Q5226594) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
- Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus (Q6180120) (← links)
- John von Neumann’s Discovery of the 2<sup>nd</sup>Incompleteness Theorem (Q6650610) (← links)