New top story on Hacker News: Incompleteness ex Machina – proving Gödel's theorems in terms of algorithms [pdf]

No comments