3 ms·Surely the roots go back to Turing, Gödel, Hilbert, Frege, Leibniz, Aristoteles.by emil-lp 4mo agoSurely the roots go back to Turing, Gödel, Hilbert, Frege, Leibniz, Aristoteles.