Siguiente: Propiedades de cerradura de Un nivel arriba: Conceptos básicos Anterior: Computabilidad-Turing

Tesis de Church

Tesis de Church: El concepto anterior de computabilidad coincide con el intuitivo de computabilidad efectiva.



En el presente curso formularemos varios enfoques alternativos de la noción de computabilidad. Siendo que todos esos son equivalentes, la tesis de Church ha prevalecido. No hay manera de demostrarla pues es tan solo una convención.