Hacker News new | ask | show | jobs
by emil-lp 1 hour ago
Surely the roots go back to Turing, Gödel, Hilbert, Frege, Leibniz, Aristoteles.