Incompleteness ex Machina – proving Gödel's theorems in terms of algorithms [pdf]

Comments

from Hacker News http://bit.ly/2s3sHAI
via

Comments

Popular posts from this blog