Reflexiones filosoficas sobre la demostracion matematica a la sombra de Thomas Tymoczko proyectadas desde algunas demostraciones computarizadas
Main Author: | Torres Villa, Mauricio |
---|---|
Other Authors: | Macias Pimentel, Benjamin (Asesor) |
Format: | Tesis de licenciatura |
Published: |
MX
2006
|
Subjects: | |
Online Access: | https://hdl.handle.net/20.500.14330/TES01000604537 http://132.248.9.195/pd2006/0604537/Index.html |
Similar Items
-
Matemática A posteriori : las demostraciones por computadora
by: Rico Sotelo, Jesús Alberto
Published: (2022) -
Introducción a los métodos de demostración de proposiciones matemáticas
by: Puebla Ramírez, José Luis
Published: (2008) -
Metodos y demostraciones matematicas de algunos resultados mas conocidos
by: Sanchez Rico, Ramiro
Published: (2006) -
Demostraciones sin palabras
by: Santillán Baltazar, Rosario
Published: (2005) -
Algunas aplicaciones, equivalencias y demostraciones relacionadas con el axioma de elección
by: Angtuncio Hernández, Osvaldo
Published: (2011)