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
Wat heb je liever?
🤔 Dilemma · 27 votes
Which Roman emperor debased the silver denarius so severely that its silver content dropped to around 5% by the end of his reign in 217 AD?
💰 Money · 26 votes
Which British musician released the 1973 concept album 'The Six Wives of Henry VIII'?
🎵 Music · 25 votes
