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

Incompleteness ex Machina – proving Gödel's theorems in terms of algorithms [pdf]
22 by lisper | 4 comments on Hacker News.