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

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

Los datos de descargas todavía no están disponibles.

Métricas

Cargando métricas ...

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

Descargar cita

Número

Vol. 12 (2007)

Sección

Artículos

Licencia

Esta revista provee acceso libre inmediato a su contenido bajo el principio de hacer disponible gratuitamente la investigación al público. Todos los contenidos publicados en Contrastes. Revista internacional de Filosofía, están sujetos a la licencia Creative Commons Reconocimento-NoComercia-Compartirigual 4.0 cuyo texto completo puede consultar en <http://creativecommons.org/licenses/by-nc-sa/4.0>

Es responsabilidad de los autores/as obtener los permisos necesarios de las imágenes que están sujetas a derechos de autor.

Los autores/as cuyas contribuciones sean aceptadas para su publicación en esta revista conservarán el derecho no exclusivo de utilizar sus
contribuciones con fines académicos, de investigación y educativos,
incluyendo el auto-archivo o depósito en repositorios de acceso abierto de cualquier tipo.

La edición electrónica de esta revista esta editada por la Editorial de la
Universidad de Málaga (UmaEditorial), siendo necesario citar la procedencia en cualquier reproducción parcial o total.