Surely the roots go back to Turing, Gödel, Hilbert, Frege, Leibniz, Aristoteles.