display all the ideas for this combination of texts
3 ideas
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
17627 | It seems absurd to prove 2+2=4, where the conclusion is more certain than premises [Russell] |
17628 | Arithmetic was probably inferred from relationships between physical objects [Russell] |