Máquina de Turing | E25

Érase una vez un algoritmo... - Un pódcast de Camilo Chacón Sartori

¡Enviáme un mensaje!Hoy tratamos sobre el modelo computacional propuesto por Alan Turing, conocido como la máquina de Turing. Sus implicaciones, relevancia y similitudes con el cálculo lambda de Alonzo Church, y como estos trabajos derivaron en la Tesis de Church-Turing.Support the show