logoalt Hacker News

emil-lptoday at 8:26 AM0 repliesview on HN

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