Aquí también estamos

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 ŁukasiewiczLudwig WittgensteinRudolf Carnap.

Listado completo de biografíasListado completo de biografías

Más contenidoMás contenido

Apartados: ¿Cómo surge una idea?¿Existe la seguridad absoluta?Consejos en la ergonomía informáticaConsejos para aprender a programarEl auge de las redes socialesEn la búsqueda de archivos torrentsEntrevista laboral: cualquier cosa te llamamosEstrategias para crear un sitio web profesionalHerramientas de respaldo y recuperación de archivosPython, el lenguaje a aprenderTen tu red WiFi seguraUna cursada diferente


Virus/gusanos: El origen de los virusCIHHappy99HybrisILoveYouLife StagesMelissaTimofónicaZippedFilesInfecciones vía correo electrónicoDistintas vías de infecciónVirus informáticos con historia


Historias: Acerca de paquetes ofimáticosEl CDEl MP3Evolución de la informáticaAppleGoogleLa evolución de los Disc JockeysLinux La lógicaMicrosoftNavegadores de InternetRedes neuronales artificialesSurgimiento de la criptografíaTarjetas gráficas


Videojuegos/consolas: Evolución de las consolasEvolución de los videojuegosInventores de videojuegosJugando con la XboxSimCity