4 ms·
I recently read this book review [0] where a mathematical proof was described as a dialogue between two semi-adversarial but collaborative actors, the Prover an
by pjacotg 3y ago
I recently read this book review [0] where a mathematical proof was described as a dialogue between two semi-adversarial but collaborative actors, the Prover and the Skeptic, who together aim to aquire mathematical insight.
I thought it was an interesting perspective.
[0] https://jdh.hamkins.org/book-review-catarina-dutilh-novaes-the-dialogical-roots-of-deduction/ https://jdh.hamkins.org/book-review-catarina-dutilh-novaes-t...
- hgsgm 3y agoThis also what philosophical discussion/debate is.
- mikhailfranco 3y agoThis is Game Theoretic Semantics. See Hintikka's Principles of Mathematics Revisited and his framing of Independence Friendly Logic: https://plato.stanford.edu/entries/logic-if/ https://plato.stanford.edu/entries/logic-if/