Alan Turing

In his seminal 1936 paper he proved that there cannot exist any universal algorithmic method of determining truth in mathematics …