Reflexiones filosoficas sobre la demostracion matematica a la sombra de Thomas Tymoczko proyectadas desde algunas demostraciones computarizadas

Bibliographic Details
Main Author: Torres Villa, Mauricio
Other Authors: Macias Pimentel, Benjamin (Asesor)
Format: Tesis de licenciatura
Language:Español
Published: 2006
Subjects:
Online Access:https://hdl.handle.net/20.500.14330/TES01000604537
http://132.248.9.195/pd2006/0604537/Index.html