Hat Nachweisbare == Entscheidbare?

Question

In Berechnung Theorie sind die Begriffe Nachweisbare und Entscheidbare Wechselfußbettsohle? Meinen sie die gleiche Sache?

Zum Beispiel sehen Sie oft die Frage, ob etwas beweisbar als Entscheidungsproblem bezeichnet wird (Das Entscheidungsproblem).

Answer 1

Diese unterscheiden. In der Tat, beziehen sie sich auf ganz verschiedenen Bereichen.

Entscheidbare bedeutet, dass ein Entscheidungsproblem kann für alle möglichen Eingaben durch eine Turing-Maschine gelöst werden, die puts out ‚annehmen‘ oder ‚ablehnen‘.

Nachweisbare bedeutet, dass eine mathematische Aussage durch, auch nachgewiesen werden, ein mathematischer Beweis.

In der Tat kann man nicht vergleichen ‚entscheidbar‘ und ‚beweisbar‘, da diese Attribute ganz andere Dinge beziehen.