„Unentscheidbarkeit“ – Versionsunterschied

[ungesichtete Version]

[gesichtete Version]

Inhalt gelöscht Inhalt hinzugefügt

Inline

Aktuelle Version vom 24. Februar 2024, 01:10 Uhr

Weiterleitung nach:

@@ Zeile 1: / Zeile 1: @@
+#WEITERLEITUNG [[Entscheidbarkeit]]
-Ein Problem ist '''unentscheidbar''', wenn weder seine [[Wahrheit]], noch seine Unwahrheit bewiesen werden kann, es entweder lösbar ist oder unlösbar. Jede getroffene Entscheidung führt zu einem [[Widerspruch]].
-Darunter werden nicht die Probleme verstanden, für die eine Lösung einfach nicht bekannt ist, da hier ja durchaus eine Entscheidung über die Lösbarkeit existiert.
-Ein einfaches Beispiel für eine unentscheidbare Aussage ist die [[paradox]]e Aussage 'Diese Aussage ist falsch'. Jeder Versuch, eine Entscheidung zu treffen (egal ob richtig oder falsch) führt sofort zu einem Widerspruch.
-Speziell in der [[Mathematische Logik|Mathematischen Logik]] finden sich diese Art Probleme in bestimmten Aussagen in [[Axiomensystem]]en.
-Ein Unentscheidbarkeitsproblem ist das [[Halteproblem]] von [[Turing-Maschine]]n der [[theoretische Informatik|theoretischen Informatik]], ein weiteres der Nachweis der Unvollständigkeit der Mathematik durch [[Gödelscher Unvollständigkeitssatz|Gödels Unvollständigkeitssatz]].
-''Siehe auch:'' [[Prädikatenlogik]], [[Semi-Entscheidbarkeit]], [[Entscheidbarkeit]]
-[[Kategorie:Logik]]
-[[Kategorie:Theoretische Informatik]]