De stelling van Gödel
Ergens rond 1968, toen de wereld vol was van vernieuwing en toekomstdromen, legde een wiskundige ons tijdens een college de stelling van Gödel uit: in ieder formeel logisch systeem van enige complexiteit zijn beweringen mogelijk die niet te bewijzen zijn. Zo’n systeem is daardoor incompleet. Elke poging om het compleet te maken met extra toeters …