Razonamientos no rigurosos y demostraciones asistidas por ordenador
Bibliographic Data
| ID | 5851248 |
|---|---|
| Authors | Jesús Alcolea Banegas (Universitat de València, corresponding author) |
| Year | 2007 |
| Volume | 12 |
| Publication date | 2007-02-27 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Contrastes Revista Internacional de Filosofía (JOURNAL) |
| Journal identifiers | ISSN: 1136-4076 • E-ISSN: 2659-921X |
| Publisher | Malaga University (PUBLISHER) |
| DOI | 10.24310/contrastescontrastes.v12i0.1432 |
| OpenAlex | W85599409 |
| Language | ES |
| References cited | 1 |
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 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
Computability, Logic, AI Algorithms · Logic, Reasoning, and Knowledge · Philosophy and Theoretical Science
| Highly cited | No |
|---|