10.02.2015, 22:29
(10.02.2015, 19:40)MZPTLK schrieb: Aber was bedeutet es eigentlich, wenn man beweisen zu können meint, dass etwas nicht beweisbar ist
Warum diese Formulierung. Der Beweis ist im Fall der Gödelschen Unvollständigkeitssätze da und auch für Laien nachvollziehbar (D. Hofstadter - Gödel, Escher, Bach enthält eine sehr gut lesbare Darstellung).
Die Bedeutung war die Widerlegung von Hilberts grundoptimistischem "wir müssen wissen, wir werden wissen"
Wir können eben beweisen, dass wir nicht alles wissen werden.
1931, als Gödel den Beweis veröffentlichte, war das revolutionär, heute ist diese Gewissheit so weit ins kollektive Bewusstsein eingegangen, dass mancher gar nicht mehr versteht, warum das mal eine welterschütternde Erkenntnis war.
There is all the difference in the world between treating people equally and attempting to make them equal (Friedrich August von Hayek)