Remix.run Logo
emil-lp a day ago

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