NAGIOS: RODERIC FUNCIONANDO

Razonamientos no rigurosos y demostraciones asistidas por ordenador

Repositori DSpace/Manakin

dc.contributor.author	Alcolea Banegas, Jesús
dc.date.accessioned	2013-09-05T08:10:32Z
dc.date.available	2013-09-05T08:10:32Z
dc.date.issued	2007
dc.identifier.citation	Alcolea Banegas, J.: (2007). Razonamientos no rigurosos y demostraciones asistidas por ordenador. Contrastes. Revista Internacional de Filosofía, XII, 27-50.	es_ES
dc.identifier.uri	http://hdl.handle.net/10550/29907
dc.description.abstract	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.	es_ES
dc.description.abstract	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.	en_US
dc.language.iso	es	es_ES
dc.subject	Demostración asistida por ordenador	es_ES
dc.subject	Cuasi-empirismo	es_ES
dc.subject	Razonamiento no riguroso	es_ES
dc.subject	Tymoczko	es_ES
dc.subject	Matemática experimental	es_ES
dc.title	Razonamientos no rigurosos y demostraciones asistidas por ordenador	es_ES
dc.type	journal article	es_ES
dc.subject.unesco	UNESCO::LÓGICA	es_ES