Dankzij het werk van Kurt Gödel en Alan Turing, is al sinds de jaren 30 bekend dat sommige wiskundige stellingen _onbeslisbaar_ zijn; gegeven de gangbare spelregels van de wiskunde is zo'n stelling no...