Which mathematician proved in 1931 that any sufficiently powerful formal system contains true statements it cannot prove?
Some mathematical discoveries don't just solve problems — they cheerfully announce that certain problems can never be solved at all. One Austrian logician spectacularly ruined breakfast for mathematicians everywhere.
Anoniem stemmen is mogelijk. Registreer voor een profiel en score.
Meer in Wetenschap
Trending vandaag
123
Which non-English-language film became the first to win the Academy Award for Best Picture?
🎥 Movies & Series · 28 votes
Which food company accidentally invented the ice lolly in 1905 when an 11-year-old left a drink outside overnight?
🍽️ Food & Drinks · 27 votes
Which Hungarian-born psychologist developed the concept of 'flow', the mental state of complete absorption in an activity?
🩺 Health · 25 votes
