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 ...
The Church-Turing limit restricts all current computation, including quantum computers, to rational number computation. This is because quantum computer designs (still not scalable even with high ...