Onvolledigheidstheorie
De Onvolledigheidstheorie is een paar logische bewijzen die een revolutie in de wiskunde teweegbrachten. Het eerste resultaat werd gepubliceerd door Kurt Gödel (1906-1978) in 1931 toen hij 24 jaar oud was. De Eerste Onvolledigheidsstelling stelt dat elke tegenstrijdigheidsvrije weergave van de getaltheorie (een tak van de wiskunde die zich bezighoudt met de aard en het … Lees meer