Alonzo Church
Detalles- Detalles
- Categoría: Quién es quien
- Publicado el Viernes, 15 Septiembre 2006 18:27
Crea las bases de la computación teórica
Church introduce el concepto del cálculo lambda, un sistema formal para representar funciones computables.
El objetivo es similar al de la máquina de Turing. El enfoque de la máquina de Turing suele ser más utilizado (Ver Alan Turing)
Enlaces:
-Church en la wikipedia
