Proofs, computers, and the a priori: Is there anything to fix?

This paper aims to answer several epistemological questions raised by the use of computers in mathematical practice; for this purpose, it uses the template for a conceptual engineering project proposed in Isaac, Koch, and Nedft 2022. Some interesting theoretical questions raised by this change in th...

Descripción completa

Detalles Bibliográficos

Publicado en:	Metaphilosophy Vol. 56; no. 3; pp. 312 - 328
Autor principal:	Martínez‐Vidal, Concha
Formato:	Artículo
Publicado:	Wiley-Blackwell Jul2025
Materias:	A priori Computers Argument Theory of knowledge Mathematics Conceptual design Research methodology Trust
Acceso en línea:	Ver este registro en EBSCOhost