In the 1930s Alan Turing discovered a computer program that is logically impossible. What other limits are there to computation?