Techniek

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

De stelling van Gödel Meer

Scroll naar boven