Confronting the unprovable - Godel and all that | Hacker News Reader