Razonamientos no rigurosos y demostraciones asistidas por ordenador

Autores/as

  • Jesús Alcolea Banegas Universitat de València España

DOI:

https://doi.org/10.24310/Contrastescontrastes.v12i0.1432

Resumen

RESUMEN

Presentamos la contribución de Th. Tymoczko a la filosofía de la matemática y analizamos y evaluamos las demostraciones asistidas por ordenador y los razonamientos no rigurosos en la matemática experimental, con particular referencia al Teorema de los Cuatro Colores.

PALABRAS CLAVE

TYMOCZKO – CUASI-EMPIRISMO – MATEMÁTICA EXPERIMENTAL – RAZONAMIENTO NO RIGUROSO – DEMOSTRACIONES ASISTIDAS POR ORDENADOR

ABSTRACT

We present Th. Tymoczko’s contribution to the philosophy of mathematics, and we analyze and evaluate the computer-assisted proofs and the non-rigorous reasonings in the experimental mathematics, particularly in reference to the Four-Colour Theorem.

KEYWORD

TYMOCZKO – QUASI-EMPIRICISM – EXPERIMENTAL MATHEMATICS – NON-RIGOROUS REASONING – COMPUTER-ASSISTED PROOF

Descargas

Métricas

Visualizaciones del PDF
146
Jul 2007Jan 2008Jul 2008Jan 2009Jul 2009Jan 2010Jul 2010Jan 2011Jul 2011Jan 2012Jul 2012Jan 2013Jul 2013Jan 2014Jul 2014Jan 2015Jul 2015Jan 2016Jul 2016Jan 2017Jul 2017Jan 2018Jul 2018Jan 2019Jul 2019Jan 2020Jul 2020Jan 2021Jul 2021Jan 2022Jul 2022Jan 2023Jul 2023Jan 2024Jul 2024Jan 2025Jul 2025Jan 202612
|

Biografía del autor/a

Jesús Alcolea Banegas, Universitat de València

Jesús Alcolea Banegas. Profesor Titular de Universidad, adscrito al Área y Departamento de Lógica y Filosofía de la Ciencia de la Universitat de València.

Publicaciones recientes:

2006a. (Editor con Wenceslao J. González) Contemporary Perspectives in Philosophy and Methodology of Science. Edited by W. J. Gonzalez and J. Alcolea. A Coruña: Netbiblo, 2006, x + 274 pp. (ISBN-13: 978-0-9729892-3-7; ISBN-10: 0-9729892-3-4)

2006b. «Ontological and Epistemological Problems of Mathematics». In Contemporary Perspectives in Philosophy and Methodology of Science. Edited by W. J. Gonzalez and J. Alcolea. A Coruña: Netbiblo, 2006, pp. 233-257. (ISBN-13: 978-0-9729892-3-7; ISBN-10: 0-9729892-3-4)

2007. «La dimensión crítica de la argumentación». En Lógica, Filosofía de la Lógica y Filosofía del Lenguaje. Editado por Ángel Nepomuceno, F. J. Salguero y F. Soler. Sevilla: Mergablum, 2007, pp. 25-42. (ISBN: 978-84-96378-35-3).

Línea de investigación:

En Filosofía de la matemática (problemas metodológicos, ontológicos y epistemológicos) y en Teoría de la argumentación, (técnicas y problemas argumentativos, demostrativos y no demostrativos).

Dirección postal:

Departamento de Lógica y Filosofía de la Ciencia. Facultad de Filosofía y Ciencias de la Educación. Universitat de València. 46071 Valencia.

Dirección electrónica:

Jesus.Alcolea@uv.es

Descargas

Publicado

2007-02-27

Cómo citar

Alcolea Banegas, J. (2007). Razonamientos no rigurosos y demostraciones asistidas por ordenador. Contrastes. Revista Internacional De Filosofía, 12. https://doi.org/10.24310/Contrastescontrastes.v12i0.1432

Número

Sección

Artículos