Lambda calculus
His question was answered by Gödel's incompleteness proof, Turing's machine and Church's Lambda calculus.