Instead of building increasingly complex adding machines like Babbage’s difference engine, Alan Turing eventually asked himself a different question: Is there a mathematical limit to what a mechanical computer can perform? In other words, can a computer prove everything?
