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.