decidable

9Hitze

2Antwort

Warum ist es unentscheidbar, ob ein Teil der Erinnerung benötigt wird?

Ich habe das Javascript-Tutorial von Mozilla reediert und ich komme durch diese Information. Hochsprachen einbetten ein Stück Software „garbage Sammler“ genannt, deren Aufgabe es ist, Speicherzuordnun

5Hitze

1Antwort

Ist die Gleichheit bei jedem Koinzidenztyp entscheidbar?

Dies ist mein erster Beitrag, Entschuldigung, wenn ich Fehler gemacht habe. Ich vermute, dass in Coq coinductive Typen wie Stream keine entscheidbare Gleichheit haben. Das heißt, bei zwei Strömen s un

9Hitze

3Antwort

Beziehung zwischen NP-harten und unentscheidbaren Problemen

Bin ein bisschen verwirrt über die Beziehung zwischen unentscheidbaren Problemen und NP harten Problemen. Ob NP schwere Probleme eine Untermenge von unentscheidbaren Problemen sind, oder sind sie glei

2Hitze

2Antwort

klagt sie nicht sehen können, dass eine Aussage entscheidbar ist

Ich versuche, die folgende Menge partn zu definieren: variable pi : nat -> Prop variable (Hdecp : ∀ p, decidable (pi p)) definition partn (n : nat) : nat := ∏ p ∈ (prime_factors n), (if pi p then p

0Hitze

1Antwort

Beweisen Sie, ob diese Sprache entscheidbar oder unentscheidbar ist

Also ich überprüfe meine Notizen für dieses Problem, und ich kann nicht scheinen zu verstehen, wie dieses Problem funktioniert. Sagen wir, wir haben M, und M akzeptiert eine Eingabe, die es ermöglicht

26Hitze

2Antwort

Haskell/GHC UndecidableInstances - Beispiel für nicht abschließende Typprüfung?

Ich habe einen Haskell-Code geschrieben, der -XUndecidableInstances kompilieren muss. Ich verstehe, warum das passiert, dass es eine bestimmte Bedingung gibt, die verletzt wird und deshalb schreit GHC

7Hitze

1Antwort

Ist nachweisbar == entscheidbar?

In der Computertheorie sind die Begriffe überprüfbar und entscheidbar austauschbar? Bedeuteten sie das Gleiche? Zum Beispiel sieht man oft die Frage, ob etwas nachweisbar als Entscheidungsproblem beze