The British mathematician and pioneer of computing Alan Turing published a paper in 1936 which described a Universal Machine, a theoretical model of a computer processor that would later become ...

This course gives an introduction to the mathematical foundations of computation. The course will look at Turing machines, universal computation, the Church-Turing thesis, the halting problem and ...

For several years, [Jim] has wanted to construct a fully-mechanical universal Turing machine. Without the help of any electronic circuits or electrical input, his goal was to build the machine ...