Reliability of mathematical inference.
Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundatio...
| Publicado en: | Synthese Vol. 198; no. 8; pp. 7377 - 7400 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Aug2021
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |