NAGIOS: RODERIC FUNCIONANDO
La demostración matemática: problemática actual
Repositori DSpace/Manakin
- Inici
- Investigació
- e-prints
- 11 - Lógica
- Visualitza element
IMPORTANT: Aquest repositori està en una versió antiga des del 3/12/2023. La nova instal.lació está en https://roderic.uv.es/
La demostración matemática: problemática actual
Mostra el registre complet de l'element
|
Visualització
|
| Alcolea Banegas, Jesús | |||
| Aquest document és un/a article, creat/da en: 2002 | |||
|
|||
| The present problems about mathematical proof are analyzed, putting the emphasis on the ideas introduced by the computer-assisted proofs and by the so-called experimental mathematics. In addition, the influence that those ideas may have on the concept of proof is examined, and a characterization is proposed taking into consideration the functions that such a concept of proof may perform according to its different aspects as explanation, communication, systematization, as a way to increase understanding of results, and as a way to transmit knowledge and conviction. Finally, and from this perspective on proofs, some conclusions are offered about problems connected with intuition, logic, certainty, knowledge and fallibilism, that favor a quasi-empirical view on mathematics.Analizamos la problemática actual en torno a la demostración matemática, con particular énfasis en las ideas introducidas por las demostraciones asistidas por ordenador y por la llamada matemática experimental. Examinamos además la influencia que pueden tener esas ideas sobre el concepto de demostración y proponemos una caracterización atendiendo a las diferentes funciones que puede desempeñar la demostración en su vertientes explicativa, comunicativa, sistematizadora, como incrementadora de la comprensión de resultados y como transmisora de conocimiento y convicción. Finalmente, se ofrecen algunas conclusiones sobre problemas relacionados con la intuición, la lógica, la certeza, el conocimiento y el falibilismo, desde la perspectiva de las demostraciones, que favorecen una concepción cuasi-empirista de la matemática. | |||
| Veure al catàleg Trobes |
Aquest element apareix en la col·lecció o col·leccions següent(s)
-
11 - Lógica [13]