Diferencia entre revisiones de «Teoría de la computabilidad»

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 profunda influencia, tanto en el desarrollo teórico como en abundantes aspectos de la práctica de la computación; previendo incluso la existencia de ordenadores de propósito general, la posibilidad de interpretar programas, la dualidad entre ''[[software]]'' y ''[[hardware]]'', y la representación de lenguajes por estructuras formales basados en reglas de producción. la teoria de la computabilidad esta basada en la teoria de honorio dicha teoria es la que origino la investigacion de la teoaria de la computabilidad mismo que solo, esta teoria ya mensionada es verdadera y esta apegada a la maquina de turing. Con Honorio se inician ochenta años de patética supervivencia del Imperio de Occidente, debilitado por los ataques de los bárbaros. Durante su minoría de edad, el poder quedó en manos de Estilicón como regente, jefe del ejército y suegro del emperador (pues le casó sucesivamente con dos de sus hijas). Finalmente, Estilicón fue asesinado, con la aquiescencia de Honorio, en una conjura senatorial contra su política de integración de los germanos y sus supuestos planes para usurpar la Corona imperial (408).