NAGIOS: RODERIC FUNCIONANDO
Razonamientos no rigurosos y demostraciones asistidas por ordenador
Repositori DSpace/Manakin
- Inici
- Investigació
- e-prints
- 11 - Lógica
- Visualitza element
IMPORTANT: Aquest repositori està en una versió antiga des del 3/12/2023. La nova instal.lació está en https://roderic.uv.es/
Razonamientos no rigurosos y demostraciones asistidas por ordenador
Mostra el registre complet de l'element
|
Visualització
|
| Alcolea Banegas, Jesús | |||
| Aquest document és un/a article, creat/da en: 2007 | |||
|
|||
| 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.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. | |||
| Veure al catàleg Trobes |
Aquest element apareix en la col·lecció o col·leccions següent(s)
-
11 - Lógica [13]