La lógica subyacente en el Principio de inducción matemática.
Date
1976
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Nacional Mayor de San Marcos
Abstract
La presente tesis examina la lógica subyacente en el Principio de Inducción Matemática, analizando su rol como regla de inferencia dentro de las demostraciones lógicas y matemáticas. El autor, Luis A. Piscoya Hermoza, explora cómo este principio supera las limitaciones de inferencias tradicionales, como el Modus Ponens, permitiendo generalizaciones esenciales en estructuras infinitas. El trabajo abarca la formalización del principio en sistemas axiomáticos, revisa versiones débiles y fuertes de la inducción, y ofrece ejemplos de su aplicación en la teoría de la prueba. Además, se discuten las diferencias entre este principio y otras reglas lógicas, destacando su importancia para establecer conclusiones universales en el ámbito matemático y filosófico. La tesis concluye que el Principio de Inducción Matemática es fundamental en la estructura de las ciencias formales.
Description
Tesis de doctorado
Keywords
Lógica, Inducción matemática, Teoría de la prueba, Axiomas, Lógica proposicional, Metateorema