1936 (artículo sobre números computables) / Europa
Turing modela los límites de la computación
Turing estudió el cálculo mediante una máquina abstracta que lee y escribe símbolos y describió una máquina universal. Era un modelo matemático, no un ordenador electrónico construido.
El relato
Turing formalizó el cálculo regido por reglas y mostró que ciertas tareas de decisión carecen de una solución mecánica general. Church alcanzó un resultado negativo relacionado con otro enfoque ese mismo año. El logro corresponde a la computabilidad matemática, no a la construcción individual del primer ordenador electrónico. La computación física incorporó múltiples aportaciones sobre lógica, electrónica y memoria.
Conexiones y contexto
Una máquina universal podía procesar descripciones de otras máquinas, relacionando lógica y computación. Los límites teóricos explican también por qué una mayor velocidad no vuelve resoluble cualquier problema.
Fechas y precisión
1936 (artículo sobre números computables) Fecha documentada
Se sitúa según el año, mes o día documentado, sin inventar la precisión que falta.
Ubicación representativa en el mapa
Cambridge
El marcador representa un entorno académico principal; la conclusión del trabajo y etapas posteriores también implicaron Princeton y otros lugares.
Coordenadas representativas · 52.205°, 0.117°
El marcador indica un lugar representativo, como una colección de manuscritos, un laboratorio o un observatorio. No significa que el trabajo se realizara solo allí ni atribuye un descubrimiento compartido a un único país.
Bibliografía
- Artículo de Turing de 1936 y archivos del King’s College de Cambridge
- Alan Mathison Turing, King’s College Cambridge
- About Alan Turing, King’s College Digital Archive
Las referencias se presentan como títulos bibliográficos, sin enlaces externos. Pueden respaldar datos concretos o el contexto; su presencia no certifica cada interpretación del relato.