Hacker News new | ask | show | jobs
Löb's Theorem (ncatlab.org)
2 points by isaac21259 1472 days ago