Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Citado por Google
- Similares en SciELO
- Similares en Google
Compartir
Revista Integración
versión impresa ISSN 0120-419X
Resumen
PARRA-LONDONOA, CARLOS y MEJIA-GUZMAN, DIEGO. Recursión, inducción y órdenes bien fundados. Integración - UIS [online]. 2011, vol.29, n.2, pp.143-150. ISSN 0120-419X.
Resumen. 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.
Palabras clave : recursión; inducción; orden bien fundado.