Benutzer-Werkzeuge

Webseiten-Werkzeuge


unentscheidbarkeit

UNENTSCHEIDBARKEIT

- Kernbegriff von Gödels ARBEIT über formal unentscheidbare Sätze

  • in einem mathematischen SYSTEM kann ein Satz G geformt werden
  • der Satz ergibt sich einerseits aus den Prämissen und Axiomen des Systems und leitet sich folgerichtig davon ab
  • der Satz sagt von sich SELBST aus, daß er unbeweisbar ist
unentscheidbarkeit.txt · Zuletzt geändert: 2019/07/28 16:25 (Externe Bearbeitung)