Seguinos

Glosario actualizado el

Alonzo Church

Alonzo ChurchLógico y matemático estadounidense (Washington, 1903 - Hudson, Ohio, 1995).
Sus máximas aportaciones fueron la definición precisa de la noción de calculabilidad y su demostración de la indecibilidad del cálculo de los predicados de primer orden, según la cual no existe ningún procedimiento general para decidir si una fórmula es consecuencia o no de otro conjunto de fórmulas, sino que es necesario tratar de probarlo en cada caso.

Publicaciones y escritos

The Calculi of Lambda Conversion (1941).
Introduction to Mathematical Logic (1944).
Escribió numerosos artículos de gran relevancia en el campo de la metalógica.
Editó la revista Journal of Symbolic Logic de 1936 a 1979.

Ver también

En el glosario: LógicaRazonamiento.

En biografías: Alfred North WhiteheadAndréi KolmogórovAugustus De MorganGeorge BooleGottlob FregeJan ŁukasiewiczRudolf Carnap.

Listado completo de biografías

Más contenido

Apartados: ¿Cómo surge una idea?¿Existe la seguridad absoluta?Entrevista laboral: cualquier cosa te llamamosPython, el lenguaje a aprenderSiempre un traductor profesionalUna cursada diferente

Virus/gusanos: CIHHappy99ILoveYouLife StagesMelissaTimofónicaZippedFilesInfecciones vía correo electrónicoDistintas vías de infección

Historias: El MP3Evolución de la informáticaAppleGoogleLinuxMicrosoftNavegadores de InternetSurgimiento de la criptografía

Actualizador de controladores