La lógica subyacente en el Principio de inducción matemática.
| dc.contributor.author | Piscoya Hermoza, Luis. | |
| dc.date.accessioned | 2025-06-24T19:27:41Z | |
| dc.date.available | 2025-06-24T19:27:41Z | |
| dc.date.issued | 1976 | |
| dc.description | Tesis de doctorado | |
| dc.description.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. | es |
| dc.identifier.uri | https://repositorioletrascorpus.unmsm.edu.pe/handle/123456789/560 | |
| dc.language.iso | es | |
| dc.publisher | Universidad Nacional Mayor de San Marcos | |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/4.0/ | |
| dc.subject | Lógica | es |
| dc.subject | Inducción matemática | es |
| dc.subject | Teoría de la prueba | es |
| dc.subject | Axiomas | es |
| dc.subject | Lógica proposicional | es |
| dc.subject | Metateorema | es |
| dc.subject.ocde | https://purl.org/pe-repo/ocde/ford#6.03.01 | |
| dc.title | La lógica subyacente en el Principio de inducción matemática. | es |
| dc.type | Thesis |