Entscheidbar

Das entscheidbare Wort kann sich beziehen auf:

  • Entscheidbare Sprache
  • Entscheidbarkeit (Logik) für die Entsprechung in der mathematischen Logik
  • Der Unvollständigkeitslehrsatz von Gödel, ein Lehrsatz auf dem indecidability von Sprachen, die aus "wahren Behauptungen" in der mathematischen Logik bestehen.
  • Rekursiver Satz, ein "entscheidbarer Satz" in der recursion Theorie

Siehe auch

  • Liste von unentscheidbaren Problemen

Unentscheidbar / Termite
Impressum & Datenschutz