Siguiente: Conjuntos decidibles Un nivel arriba: Teoría de la recursividad Anterior: Problema de la parada

Decidibilidad

En esta sección, dada una función f escribiremos, acaso de manera abusiva, `` $f\in\mbox{\rm\rm Programas-{\bf while }}$'' para indicar que la función f es programable, es decir, se calcula por un programa-while , o sea, f es computable, lo que equivale a decir que es recursiva.