Alonzo Church: Diferenzas entre revisións
Contido eliminado Contido engadido
Sen resumo de edición |
m Arranxos varios |
||
Liña 2:
== Traxectoria ==
Nado na cidade de [[Washington D.C.|Washington]], diplomouse na [[Universidade de Princeton]] en [[1924]] e obtivo o doutoramento en [[1927]], onde exerceu como profesor entre [[1929]] e [[1967]].
A súa obra máis coñecida é o desenvolvemento do [[cálculo lambda]], e o seu traballo de [[1936]] que mostra a existencia de [[problema indecidible|problemas indecidibles]]. Este traballo precedeu ao famoso traballo do seu alumno [[Alan Turing]] sobre o [[problema de parada]] que tamén demostrou a existencia de problemas irresolubles por dispositivos mecánicos. Despois de revisar a tese doutoral de Turing, demostraron que o cálculo lambda e a [[máquina de Turing]] utilizada para expresar o problema de parada tiñan igual poder de expresión; posteriormente demostraron que unha variedade de procesos mecánicos alternos para realizar cálculos tiñan poder de cómputo equivalente. Como resultado postulouse a [[Tese de Church-Turing]].
Liña 15:
* [http://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps H B Enderton, In memoriam: Alonzo Church]
{{Control de autoridades}}▼
{{ORDENAR:Church, Alonzo}}
▲{{Control de autoridades}}
[[Categoría:Personalidades da informática]]
[[Categoría:Intelixencia artificial]]
|