El Entscheidungsproblem de Hilbert y el sueño de decidirlo todo
David Hilbert planteó si existe un procedimiento finito para decidir la verdad de cualquier enunciado matemático; la respuesta negativa abrió la teoría de la computación.
3 artículos
Lógica
Índice de etiquetas editoriales y cobertura filtrada.
Leibniz y el dream del calculus ratiocinator
En los siglos XVII–XVIII, Gottfried Wilhelm Leibniz imaginó un lenguaje universal y un cálculo del razonamiento que anticipan la IA simbólica.
Aristóteles y la lógica silogística: raíces remotas de la IA
La lógica aristotélica del siglo IV a.C. aportó reglas formales de inferencia que siglos después inspiraron la automatización del razonamiento.