6533b85cfe1ef96bd12bcadc
RESEARCH PRODUCT
Razonamientos no rigurosos y demostraciones asistidas por ordenador
Jesús Alcolea Banegassubject
Razonamiento no rigurosoMathematical proofCuasi-empirismoMatemática experimentalEpistemologyDemostración asistida por ordenadorPhilosophyPhilosophy of mathematicsExperimental mathematicsTymoczko:LÓGICA [UNESCO]HumanitiesUNESCO::LÓGICAMathematicsdescription
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
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2007-02-27 | Contrastes. Revista Internacional de Filosofía |