Alonzo Church: Diferenzas entre revisións
Contido eliminado Contido engadido
m elimino a Categoría:Personalidades das matemáticas; engado a Categoría:Matemáticos dos Estados Unidos de América mediante HotCat |
m Bot: Engado {{Control de autoridades}}; cambios estética |
||
Liña 1:
'''Alonzo Church''', nado o [[14 de xuño]] de [[1903]] e falecido o [[11 de agosto]] de [[1995]], foi un matemático e lóxico [[Estados Unidos de América|norteamericano]] que creou a base da [[computación teórica]].
== Traxectoria ==
Nado na cidade de [[Washington D.C.|Washington]], diplomouse na [[Universidade de Princeton]] en [[1924]] e obtivo o doutorado 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 10:
O cálculo lambda tivo influencia no deseño da linguaxe [[Lisp]] así como as linguaxes de [[programación funcional]].
== Véxase tamén ==
=== Ligazóns externas ===
* [http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html Biografía de Church], en inglés
* [http://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps H B Enderton, In memoriam: Alonzo Church]
{{ORDENAR:Church, Alonzo}}
{{Control de autoridades}}
[[Categoría:Personalidades da informática]]
[[Categoría:Intelixencia artificial]]
| |||