Anyone who enjoyed reading that (especially the bit about mathematical reality) absolutely must read Anathem by Neal Stephenson. The proof is rather enumerative

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?!?