4. Tesis de doctorado

Permanent URI for this collection

Now showing 1 - 1 of 1

La lógica subyacente en el Principio de inducción matemática.
(Universidad Nacional Mayor de San Marcos, 1976) Piscoya Hermoza, Luis.
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.