De Oostenrijker Kurt Gödel in 1931 bewees dat een kloppend wiskundig systeem voor rekenen met natuurlijke getallen altijd stellingen kent die niet bewezen of verworpen kunnen…
Door Admin · 6 mei 2026
Wist je dat de Oostenrijker Kurt Gödel in 1931 bewees dat een kloppend wiskundig systeem voor rekenen met natuurlijke getallen altijd stellingen kent die niet bewezen of verworpen kunnen worden?
Bron: NL-Wikipedia, artikel "Kurt Gödel" (CC BY-SA 4.0) — https://nl.wikipedia.org/wiki/Kurt_G%C3%B6del