A algorithmsoup.wordpress.com What Made Gödel’s Incompleteness Theorem Hard to Prove 126 points williamkuszmaul 8 years ago 99 comments