![New top story on Hacker News: Incompleteness ex Machina – proving Gödel's theorems in terms of algorithms [pdf]](https://3.bp.blogspot.com/-KYs7bNsL5eQ/V2d1Z0U4Y7I/AAAAAAAAm-Y/VPHnY95ua4ILVJDoP-FicZ8tPJpQpza5QCLcB/s600/no-thumbnail.jpg "New top story on Hacker News: Incompleteness ex Machina – proving Gödel's theorems in terms of algorithms [pdf]")
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]
21 by lisper | 3 comments on Hacker News.
21 by lisper | 3 comments on Hacker News.
0 Response to "New top story on Hacker News: Incompleteness ex Machina – proving Gödel's theorems in terms of algorithms [pdf]"
Post a Comment