Tag provability
Tagged Works
1
1
1
- Philosophy in an Age of Science: Physics, Mathematics, and Skepticism by Hilary Putnam
- Euclid in the Rainforest: Discovering Universal Truth in Logic and Math by Joseph Mazur
- The Lady or the Tiger? And Other Logic Puzzles Including a Mathematical Novel That Features Gödel's Great Discovery by Raymond Smullyan
Using the Tag
hiroaku (1), gentlemania (1), mfd101 (1)
Aliases and Translations
Includes: provability, Provability