Computer verification for historians of philosophy.
Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theo...
| Publicado en: | Synthese Vol. 200; no. 3; pp. 1 - 26 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jun2022
|
| Acceso en línea: | Ver este registro en EBSCOhost |