Anyone who enjoyed reading that (especially the bit about mathematical reality) absolutely must read Anathem by Neal Stephenson. The proof is rather enumerative, which I will leave as an exercise ;)
As for discussion. Is not the quote "We live either by rule of thumb or on other people’s professional knowledge." the most antithetical to hacker culture you've ever heard?!?