Unentscheidbar

Unentscheidbar kann sich beziehen auf:

In der Mathematik und Logik

  • Unentscheidbares Problem - ein Entscheidungsproblem, das kein Algorithmus entscheiden kann
  • "Unentscheidbar" wird manchmal als ein Synonym von "unabhängigen" verwendet, wo eine Formel in der mathematischen Logik einer logischen Theorie unabhängig ist, wenn weder diese Formel noch seine Ablehnung innerhalb der Theorie bewiesen werden können

Anderer Gebrauch

Auch:

  • Liste von unentscheidbaren Problemen

Siehe auch


Rekursiv Enumerable-Sprache / Entscheidbar
Impressum & Datenschutz