Razonamientos no rigurosos y demostraciones asistidas por ordenador

Jesús Alcolea Banegas

doi:10.24310/Contrastescontrastes.v12i0.1432

Razonamientos no rigurosos y demostraciones asistidas por ordenador

Authors

Jesús Alcolea Banegas Universitat de València Spain

DOI:

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

Abstract

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

Downloads

Download data is not yet available.

Metrics

Metrics Loading ...

Author Biography

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

Downloads

PDF (Español)

Published

2007-02-27

How to Cite

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

Download Citation

Issue

Vol. 12 (2007)

Section

ARTICLES

License

This journal provides immediate free access to its content under the principle of making research freely available to the public. All content published in Contrastes. Revista Internacional de Filosofía, are subject to the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 license whose full text can be found at <http://creativecommons.org/licenses/by-nc-sa/4.0>

It is the responsibility of the authors to obtain the necessary permissions of the images that are subject to copyright.

Authors whose contributions are accepted for publication in this journal will retain the non-exclusive right to use their contributions for academic, research and educational purposes, including self-archiving or repository in open access repositories of any kind.

The electronic edition of this magazine is edited by the Editorial Service of the University of Malaga (Uma Editorial), being necessary to cite the origin in any partial or total reproduction.