alt
Hacker News
emil-lp
•
today at 8:26 AM
•
0 replies
•
view on HN
Surely the roots go back to Turing, Gödel, Hilbert, Frege, Leibniz, Aristoteles.