Aquí también estamos

Glosario actualizado el

Alonzo Church

Ló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ías

Más contenido

Apartados: ¿Cómo optimizar y aumentar la velocidad de Internet?¿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 llamamosHerramientas de respaldo y recuperación de archivos¿Se puede estar sin Internet?¿Seremos dependientes de la IA como lo somos de Internet?Una 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: ¿Cómo surgió la imprenta?Acerca de paquetes ofimáticosEl CDEl MP3Evolución de la informáticaAppleGoogleLa evolución de los Disc JockeysLinux La lógicaMicrosoftNavegadores de InternetOrigen y evolución 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 XboxSimCityVideojuegos violentos