Transferable and Fixable Proofs.
A proof ${\cal P}$ of a theorem T is transferable when it's possible for a typical expert to become convinced of T solely on the basis of their prior knowledge and the information contained in ${\cal P}$. Easwaran has argued that transferability is a constraint on acceptable proof. Meanwhile, a proo...
| Publicado en: | Episteme (Cambridge University Press) Vol. 22; no. 1; pp. 1 - 13 |
|---|---|
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Mar2025
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |