S scottaaronson.com Incompleteness ex Machina – proving Gödel's theorems in terms of algorithms [pdf] 92 points lisper 7 years ago 31 comments
