Bis in das 20. Jahrhundert hinein war es eine unausgesprochene Grundannahme der Mathematik, dass zwischen der Wahrheit und der Beweisbarkeit einer Aussage nicht unterschieden werden muss. Heute wissen wir, dass diese Sichtweise falsch ist. Es gibt Aussagen, die mit den Mitteln der gewöhnlichen Mathematik weder bewiesen noch widerlegt werden können. Eine solche Aussage ist die Kontinuumshypothese, mit der Georg Cantor Ende des 19. Jahrhunderts ein Jahrhunderträtsel schuf.Die Unentscheidbarkeit de ...