Service und Hilfe

Was ist Wahrheit?

1 Beitrag
Technik & Wissenschaft verändern die Gesellschaft und somit auch unseren Alltag. Wird durch die neueste Technik alles besser oder sollten manche Entwicklungen auch kritisch hinterfragt werden? Welche Neuheiten gibt es, die Sie getestet haben und auf die man nicht verzichten sollte?Teilen Sie Ihre Erfahrungen mit anderen 50plus-Treff Mitgliedern. Im Forum Wissenschaft & Technik sind Affinität und Begeisterung gefragt.

Beitragvon SeglerUnterPalmen » 11.10.2017, 15:42

Quelle: Verkürzte Wiedergabe und eigenen Kommentaren versehen) http://www.faz.net/aktuell/wissen/physi ... 07-p4.html

 Die meisten Menschen - Kriminalbeamte, Journalisten, Wissenschaftler, Ingenieure – aber auch Eheleute – gehen selbstverständlich davon aus, daß es EINE Wahrheit gibt, die es nur herauszufinden gilt.
Dummerweise kann man sich dabei irren: Indizien können trügen, Informanten lügen, Informationen fehlen - was lässt sich da schon mit letzter Sicherheit beweisen?

Nun gibt es eine Wissenschaft, in der es unanfechtbare Beweise tatsächlich gibt.
 Ist in der Mathematik ein Satz bewiesen, dann ist daran grundsätzlich nichts mehr zu deuteln, dann ist der Satz wahr. Der Grund scheint klar: Mathematische Systeme wie die Arithmetik oder die Geometrie sind deduktiv. Eine ihrer Aussagen zu beweisen bedeutet, sie mittels der zulässigen Rechenregeln auf einige wenige, sofort einleuchtende Axiome zurückzuführen.
Damit scheint die Frage für die Mathematik und Informatiker beantwortet:

 Wahrheit ist Beweisbarkeit.

Doch im Jahre 1931 veröffentlichte der österreichische Logiker Kurt Gödel (Siehe https://de.wikipedia.org/wiki/Kurt_Gödel)  Prof. an der Princton University und enger Freund von Albert Einstein einen Aufsatz, in dem er zeigte, daß dies nicht stimmt. Er bewies, daß sich in einem widerspruchsfreien mathematischen System, das mindestens die Arithmetik umfaßt, Sätze formulieren lassen, die nicht aus den Axiomen ableitbar, aber trotzdem wahr sind. Diese Aussage ist der erste sogenannte „Unvollständigkeitssatz“.
Aus ihm folgt ein zweiter: Es ist nicht möglich, innerhalb einer mathematischen Theorie (eines geschlossenen Systems) zu beweisen, daß bei Ableitungen aus ihren Axiomen nie Widersprüche auftreten werden.
Und dies gilt nicht erst in irgendwelchen arkanen Formalismen, sondern schon im Fall der Arithmetik, der ganz normalen Schulmathematik - ganz zu schweigen von der IT-Technologie und deren Programmiersprachen.

Beispiel 1:
Gehen wir in einem Gedankenexperiment davon aus, dass es eine 100%-ig zuverlässig funktionierende Wahrheitsmaschine gäbe, die Wahr und Falsch unterscheiden könnte.
Es gibt nur eine Anzeige (Melde-Lampe) an dieser Maschine, die anzeigt, ob ein Satz wahr ist. (Im Falle von Falsch würde die Lampe dunkel bleiben)
1. Frage: „Ist 2+2= 4“ Lampe: EIN
2. Frage: „Ist 2+3= 4“ Lampe: AUS
3. Frage: „Ich kann NICHT sagen: 2+3= 4“ Lampe: EIN
4. Frage: „Ich kann nicht 2 mal sagen: 2+3= 4, Ich kann nicht 2 mal sagen: 2+3= 4“ Die Maschine versagt

Sie kann nicht AUS bleiben, weil 2 mal gefragt wurde, und sie kann nicht angehen denn sonst würde sie bestätigen , dass 2+3 nicht = 4 ist! ein Paradoxem

 Beispiel 2: Schon in der Antike kursierte die Anekdote von dem Kreter Epimenides, der behauptet, daß alle Kreter lügen. Offenbar ist es möglich, daß zwei an sich unschuldige Sätze (“Epimenides ist ein Kreter“ und „Epimenides sagt, alle Kreter lügen“) zusammengenommen ein Paradox ergeben: einen sich selbst widersprechenden Satz.

Als nun um 1900 klar wurde, daß dergleichen nicht nur in der ja nie ganz eindeutigen Alltagssprache auftreten kann, sondern auch in abstrakten Formalismen, war die Sorge groß. Immerhin bedienten sich Physik und Ingenieurswissenschaften in immer größerem Ausmaß mathematischer Verfahren. Was, wenn sich solche Paradoxa an entscheidenden Stellen in das mathematische Lehrgebäude einschlichen?

Gödels Resultat war - und ist noch heute - eine Ungeheuerlichkeit. – Die Infragestellung der Mathematik in sich.

Die Gödelsche Unvollständigkeit (siehe: https://de.wikipedia.org/wiki/Gödelscher_Unvollständigkeitssatz)  ist nichts Geheimnisvolles, sondern die Folge des Umstandes, daß in Systemen, die komplex genug sind, um sich selbst zu beschreiben, die Grenzen dieser Beschreibung spürbar werden. Natürlich könnte man die Grenze gewissermaßen eingemeinden, indem man einen unentscheidbaren, also weder beweisbaren noch widerlegbaren Satz kurzerhand dem Axiomensystem hinzufügt. Doch alles, was man sich damit - neben einer Verkomplizierung der Theorie - einhandelte, wären neue unentscheidbare Sätze. Die Grenzen, die Gödel aufzeigte, lassen sich zwar verschieben, aber nie beseitigen.

Kurz gesagt: Die Unvollständigkeitssätze von Gödel bedeuten in der Konsequenz dass, je komplexer ein System wird, um so wahrscheinlicher werden dessen immanente Widersprüche.
Was wir im alltäglichen Leben bestätigt finden: „unsinkbare“ Schiffe heißen u.a. Titanic, „sichere“ Flugzeuge fallen vom Himmel und spätestens seit Fukushima redet kaum mehr jemand von „sicherer“ Kerntechnik, ohne ein mitleidiges Lächeln der „Normalos“ zu ernten und Computerprogramme werden mit der Zeit immer mächtiger und dabei steigt überproportional deren Fehlerhäufigkeit
... Und überraschenderweise gilt das auch in gewisser Weise für alle Arten von Beziehungen.

Dass es hierfür aber ein Naturgesetz zu geben scheint, mag für viele überraschend sein.

Also wer das Risiko von Paradoxa, Widersprüchen und Lügen bzw Versagen in „sicheren“ oder sicherheitsrelevanten Systeme minimieren möchte, wer funktionierende Computerprogramme und Tools erstellen oder sie einführen möchte, dem hilft ein, von den größten Köpfen unseres modernen Zeitalters entdecktes, bewiesenes und bislang nicht widerlegtes mathematisches Axiom, an das man sich halten sollte:

Keep it simple  
 
Lieben Gruß
SeglerUnterPalmen
Moderator der Regionalgruppe Nürnberg    

zu unseren Veranstaltungen
Avatar
SeglerUnterPalmen
moderator
 
Beiträge: 168
Mit Zitat antworten

Zurück zu Wissenschaft & Technik