Recursión, inducción y órdenes bien fundados
Fuente:
Redalyc
Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Universidad Industrial de Santander
2011
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1876476996100292608 |
|---|---|
| author | Carlos Parra-Londoño |
| author_facet | Carlos Parra-Londoño |
| contents | Recursión, inducción y órdenes bien fundados Carlos Parra-Londoño Diego Mejía-Guzmán Física, Astronomía y Matemáticas Recursión inducción orden bien fundado Con base en la caracterización de los números naturales a partir de la propiedad de recursión (ver [2]), probamos en forma general que para un conjunto dado las propiedades de recursión, inducción y buena fundación son equivalentes entre sí. El resultado lo extendemos a clases y lo utilizamos para dar otra prueba de la caracterización del conjunto de los naturales mediante recursión. 2011 artículo científico 0120-419X https://www.redalyc.org/articulo.oa?id=327028020004 es http://www.redalyc.org/revista.oa?id=3270 Revista Integración application/pdf Universidad Industrial de Santander Revista Integración (Colombia) Num.2 Vol.29 |
| format | Artículo científico |
| id | redalyc_327028020004 |
| institution | Redalyc |
| language | es |
| publishDate | 2011 |
| publisher | Universidad Industrial de Santander |
| spellingShingle | Recursión, inducción y órdenes bien fundados Carlos Parra-Londoño Física, Astronomía y Matemáticas Recursión inducción orden bien fundado Recursión, inducción y órdenes bien fundados Carlos Parra-Londoño Diego Mejía-Guzmán Física, Astronomía y Matemáticas Recursión inducción orden bien fundado Con base en la caracterización de los números naturales a partir de la propiedad de recursión (ver [2]), probamos en forma general que para un conjunto dado las propiedades de recursión, inducción y buena fundación son equivalentes entre sí. El resultado lo extendemos a clases y lo utilizamos para dar otra prueba de la caracterización del conjunto de los naturales mediante recursión. 2011 artículo científico 0120-419X https://www.redalyc.org/articulo.oa?id=327028020004 es http://www.redalyc.org/revista.oa?id=3270 Revista Integración application/pdf Universidad Industrial de Santander Revista Integración (Colombia) Num.2 Vol.29 |
| title | Recursión, inducción y órdenes bien fundados |
| topic | Física, Astronomía y Matemáticas Recursión inducción orden bien fundado |
| url | https://www.redalyc.org/articulo.oa?id=327028020004 |