Wahrheit ist in formalen sprachen undefinierbar
Alfred Tarskis Theorem zeigt, dass Wahrheit in einer formalen Sprache nicht vollständig definiert werden kann. Es legt grundlegende Grenzen der logischen Selbstreferenz offen. Dies beeinflusst Bereiche von der Philosophie bis zur KI.
1933 zeigte der Logiker Alfred Tarski, dass man in jeder mächtigen formalen Sprache, wie der Mathematik, die 'Wahrheit' für alle ihre Aussagen nicht nur mit dieser Sprache definieren kann. Das bedeutet, eine Sprache kann ihre eigene Wahrheit nicht vollständig beschreiben, ohne auf Paradoxa zu stoßen. Ein Beispiel ist das berühmte Lügner-Paradoxon.
Es gibt mehr zu lesen — öffne die App, um weiterzulesen.
In der App Weiterlesen
1 weitere Absätze · plus ein 3-Fragen-Quiz