Diferencia entre revisiones de «Teoría de la computabilidad»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 201.170.109.42 a la última edición de Diegusjaimes |
|||
Línea 10:
== Antecedentes ==
El origen de los modelos abstractos de computación se encuadra en los años '30 (antes de que existieran los ordenadores modernos), para el trabajo de los [[lógica|lógicos]] [[Alonzo Church]], [[Kurt Gödel]], [[Stephen Kleene]], [[Emil Leon Post]], y [[Alan Turing]]. Estos trabajos iniciales han tenido una
El punto inicial de estos primeros trabajos fueron las [[Problemas de Hilbert|cuestiones fundamentales]] que [[David Hilbert]] formuló en [[1900]], durante el transcurso de un congreso internacional.
|