Hungarian logician, mathematician and philosopher Kurt Gödel revolutionised our view of mathematical truth with his incompleteness theorems. He also drew up the blueprints for a working time machine.