A Turing machine is a model of a machine which can mimic any other (known as a universal machine). What we call “computable” is whatever a Turing machine can write down. This video is about how it was conceived and why it works.

Advertisement