Alan Turing

Este ensayo histórico introduce el concepto de la máquina de Turing, un modelo matemático abstracto que define lo que significa ser computable y explora los límites de la computación algorítmica, específicamente el problema de la parada.

Este artículo seminal es donde Alan Turing introdujo el concepto de la máquina de Turing, un modelo matemático abstracto que define lo que significa ser un proceso algorítmico y sienta las bases teóricas de toda la computación moderna.

Un artículo fundamental en el que Turing introduce la máquina de Turing, un modelo teórico de computación, y aborda el problema de la decisión de Hilbert (Entscheidungsproblem).

En este trabajo fundamental, Alan Turing presenta el concepto de números computables y su relación con el Entscheidungsproblem, abordando la capacidad de las máquinas para realizar cálculos y resolver problemas matemáticos.

Artículo fundamental que introduce el concepto de la máquina de Turing, un modelo matemático abstracto que define lo que significa ser computable y los límites de la computación.

Artículo seminal que introduce el concepto de la máquina de Turing, un modelo matemático abstracto de computación que forma la base teórica de la informática moderna.

Una colección de ensayos y escritos de Turing que profundizan en los conceptos fundamentales de la computación, la inteligencia artificial y la relación entre la mente humana y las máquinas, incluyendo la idea de la 'Máquina de Turing'.

En este ensayo pivotal, Turing aborda la pregunta '¿Pueden pensar las máquinas?' y propone el famoso Test de Turing como un criterio para la inteligencia artificial. También discute las objeciones filosóficas y matemáticas a la IA, incluyendo el teorema de Gödel.