Saturday, February 16, 2019

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]
20 by lisper | 3 comments on Hacker News.


No comments:

Post a Comment

Building a keyword research tool with no monthly plan

Article URL: https://keyword-research-tool-steel.vercel.app/ Comments URL: https://news.ycombinator.com/item?id=46621263 Points: 1 # Comm...