AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
What Is a Turring Machine?
A turring machine looks a little bit like a toy model of computation. But actual it turns out that it captures what all our real computers can do. The remarkable thing is you can actually translate any computer programm to that. There's something we have in computer signs called the church turring thesis. We believe that a turring machine, not only does it capture all of the machines we have now, but we also believe it'll actually capture machines we haven't thought of yet.