Welke wiskundige bewees in 1931 dat geen enkel formeel systeem van rekenkunde zowel volledig als consistent kan zijn?
Een stelling die de hele wiskunde op zijn kop zette en filosofen tot op de dag van vandaag bezighoudt. Niet elke waarheid blijkt bewijsbaar.
Anoniem stemmen is mogelijk. Registreer voor een profiel en score.
Meer in Wetenschap
Trending vandaag
123
De appelboom van de buren hangt over jouw schutting. Mag jij die appels gewoon plukken?
⚖️ Ethiek · 33 stemmen
Waar komt het bekende advies 'loop 10.000 stappen per dag' oorspronkelijk vandaan?
🩺 Gezondheid · 32 stemmen
Welke spotnaam kreeg koning Willem III, de overgrootvader van prinses Beatrix, vanwege zijn grove gedrag?
📜 Geschiedenis · 30 stemmen