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ógica — Razonamiento.

En biografías: Alfred North Whitehead — Andréi Kolmogórov — Augustus De Morgan — George Boole — Gottlob Frege — Jan Łukasiewicz — Ludwig Wittgenstein — Rudolf Carnap.

Listado completo de biografías

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ática • Consejos para aprender a programar • El auge de las redes sociales • En la búsqueda de archivos torrents • Entrevista laboral: cualquier cosa te llamamos • Herramientas 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 virus • CIH • Happy99 • Hybris • ILoveYou • Life Stages • Melissa • Timofónica • ZippedFiles • Infecciones vía correo electrónico • Distintas vías de infección • Virus informáticos con historia

---

Historias: ¿Cómo surgió la imprenta? • Acerca de paquetes ofimáticos • El CD • El MP3 • Evolución de la informática • Apple • Google • La evolución de los Disc Jockeys • Linux • La lógica • Microsoft • Navegadores de Internet • Origen y evolución de Internet • Redes neuronales artificiales • Surgimiento de la criptografía • Tarjetas gráficas

---

Videojuegos/consolas: Evolución de las consolas • Evolución de los videojuegos • Inventores de videojuegos • Jugando con la Xbox • SimCity • Videojuegos violentos