Church.jpg

Nacimiento:14 junio 1903en WashingtonMuerte:11 agosto 1995en Princeton

No se ha añadido ninguna twiki todavía.

Filósofo y lógico norteamericano, nacido en Washington, en 1903, profesor emérito de la UCLA. Contribuciones suyas famosas son el teorema de Church y la tesis de Church-Turing. El primero trata de la indecidibilidad de lógicas o cálculos superiores al cálculode predicados de primer orden. El segundo, formulado simultánea e independientemente también por Turing, afirma que un algoritmo existe si y sólo si existe una máquina de Turing que pueda computarlo.

Relaciones geográficas

Cargando el mapa…