Lorixe de los modelos astractos de computación encuadrar nos años 30 ( primero quesistieren lordenadores modernos), pal trabayu de los lóxicos Alonzo Church, Kurt Gödel, Stephen Kleene, Emil Leon Post, y Alan Turing.