Máquina de Turing | E25
Érase una vez un algoritmo... - Un podcast de Camilo Chacón Sartori
Catégories:
¡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
