The following pages link to (Q3001104):
Displaying 7 items.
- Local axioms in disguise: Hilbert on Minkowski diagrams (Q375285) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- Proofs as Objects (Q5057055) (← links)
- The Cantor–Bernstein theorem: how many proofs? (Q5204798) (← links)
- A Brief Note on Gödel, Nagel, Minds, and Machines (Q5214796) (← links)
- MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM (Q5221288) (← links)
