Hacker News new | past | comments | ask | show | jobs | submit | navneeraj's favorites login
1. What Made Gödel’s Incompleteness Theorem Hard to Prove (algorithmsoup.wordpress.com)
126 points by williamkuszmaul on Oct 1, 2018 | 99 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: