On the unreasonable reliability of mathematical inference.
In (Avigad, 2020), Jeremy Avigad makes a novel and insightful argument, which he presents as part of a defence of the ‘Standard View’ about the relationship between informal mathematical proofs (that is, the proofs that mathematicians write for each other and publish in mathematics journals, which m...
| Publicado en: | Synthese Vol. 200; no. 4; pp. 1 - 17 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Aug2022
|
| Acceso en línea: | Ver este registro en EBSCOhost |