La coinducción matemática en la construcción de los números reales
| dc.contributor.author | Quintero Pérez, James Adrián | |
| dc.contributor.author | Castiblanco Montañez, Airon Stiven | |
| dc.date.accessioned | 2014-10-28T16:41:24Z | |
| dc.date.available | 2014-10-28T16:41:24Z | |
| dc.date.issued | 2014-10-28 | |
| dc.description.abstract | El presente trabajo de grado tiene como objeto de interés ilustrar la manera en que el principio de conducción posibilita una va alternativa para el estudio o construcción de los números reales, lo cual pone de manifestó que las matemáticas como ciencia no son siempre es inductivas. Se estudia a R mediante la dualidad que existe con N por medio de la teoría de categorías, la cual permite observar la estructura de estos objetos y definir a los números naturales como un objeto inicial, y por lo tanto cumple con los principios de inducción y de recursión. Dualmente, los números reales se definen como un objeto final, en consecuencia se establecen los principios de coinducción y de corecursión | spa |
| dc.identifier.uri | https://hdl.handle.net/10893/7706 | |
| dc.language.iso | spa | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.subject | Números reales | spa |
| dc.subject | Números naturales | spa |
| dc.subject | Inducción (Matemáticas) | spa |
| dc.subject | Historia de las matemáticas | spa |
| dc.subject | Coinducción (Matemáticas) | spa |
| dc.title | La coinducción matemática en la construcción de los números reales | spa |
| dc.type | Trabajo de grado - Pregrado | spa |
| dspace.entity.type | Publication |