Razonamientos no rigurosos y demostraciones asistidas por ordenador
Year: 2007
Type: article
Abstract: RESUMENPresentamos 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 CLAVETYMOCZKO – CUASI-EMPIRISMO – MATEMÁTICA EXPERIMENTAL – RAZONAMIENTO NO RIGUROSO – DEMOSTRACIONES ASISTIDAS POR ORDENADORABSTRACTWe 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.KEYWORDTYMOCZKO – QUASI-EMPIRICISM – EXPERIMENTAL MATHEMATICS – NON-RIGOROUS REASONING – COMPUTER-ASSISTED PROOF
Author: Jesús Alcolea Banegas
Institution: Universitat de València
Language: Spanish
Subfield: Theoretical Computer Science
Field: Mathematics
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W85599409