NAGIOS: RODERIC FUNCIONANDO

Razonamientos no rigurosos y demostraciones asistidas por ordenador

DSpace Repository

Valencià Castellano

IMPORTANT: El repositori està en manteniment des del dia 28 de Novembre fins al 4 de Desembre, només es pot consultar, però no afegir contingut. Disculpeu les molèsties

Razonamientos no rigurosos y demostraciones asistidas por ordenador

Show full item record

View (221.5Kb)

Alcolea Banegas, Jesús

This document is a artículoDate2007

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.

Ver en el catálogo Trobes