Diskussion:Entscheidbarkeit

message: Nach reiflicher Überlegung frage ich mich, ob es überhaupt ein (sinnvolles) Problem geben kann, das echt unentscheidbar ist. Bzw. frage ich mich, ob Semi-Entscheidbarkeit überhaupt eine echte Teilmenge von Unentscheidbarkeit ist. Hat dazu jemand eine Info? Sowohl das PCP als auch das Halteproblem sind ja (auch) semi-entscheidbar. --F GX 11:13, 17. Sep. 2009 (CEST)
replies: text: OK ich glaube ich kann es selbst beantworten, das Komplement des (speziellen) Halteproblems, also die Sprache aller Maschinen die auf sich selbst nicht hält, ist nicht semi-entscheidbar sondern nur unentscheidbar. So wie generell alle Komplemente aller Sprachen die semi-entscheidbar und unentscheidbar sind, echt unentscheidbar sind. Und natürlich, die Komplemente aller Sprachen die semi-entscheidbar und entscheidbar sind, wiederum nicht unentscheidbar sind. Ist es denn sinnvoll, das irgendwie in den Artikel einzuarbeiten? Gerade weil es etwas kompliziert ist. Leider traue ich mich noch nicht ganz, weil ich das Konzept der Semi-Entscheidbarkeit immer noch nicht 100% durchblickt habe.--F GX 16:00, 18. Sep. 2009 (CEST)
thread_title:  Echte Unentscheidbarkeit 

message: Müsste das Lemma nicht „Entscheidbarkeit“ oder „Entscheidungsproblem“ sein? Für gewöhnlich wird Nominativ Singular verwendet.
Zudem bin ich mit der Einleitung nicht zufrieden. Es wird nicht erklärt worum es eigentlich geht – einen Begriff in der theoretischen Informatik. Für Leser die keine Ahnung davon haben sollte wenigstens eine Zuordnung zu einem Fachbereich möglich sein. Gruß, --Church of emacs D B 13:16, 5. Okt. 2010 (CEST)
replies: text: Zum "Zudem"-Teil: Ich habe den 1. Satz entsprechend geändert. -- UKoch 19:03, 13. Jul. 2011 (CEST)
thread_title:  Lemma und Einleitung 

message: Ob ein Problem / eine Sprache entscheidbar ist, hat doch eigentlich nichts mit Entscheidungsproblemen zu tun. Die Weiterleitung sollte entfernt werden. Das hier sind Entscheidungsprobleme:
* TSP-Entscheidungsproblem: Gibt es eine Route der Länge 100 km (oder weniger) durch eine gegebene Menge an Städten?
* KNAPSACK-Entscheidungsproblem: Gibt es eine Rucksack-Belegung mit einem minimalen Wert von 100 für einen gegebenen Rucksack und gegebene Gegenstände?
Alle Entscheidungsprobleme sind entscheidbar (soweit ich weiß), indem man schlicht alle Möglichkeiten durchgeht. Ich glaube jedes Optimierungsproblem kann als Entscheidungsproblem formuliert werden. --MartinThoma 17:25, 7. Jan. 2012 (CET)
thread_title:  Entscheidungsprobleme und Entscheidbarkeit 

message: Ich würde gerne den Artikel zu „Entscheidbarkeit“ verschieben (umbenennen). Gibt es einen bestimmten Grund, dass der Artikel nicht so heißt? Ansonsten berufe ich mich auf Wikipedia:Namenskonventionen#Abstraktes_Substantiv. SpezialistD 22:34, 7. Jul. 2015 (CEST)
replies: text: Wäre auch für eine Umbenennung und unterstütze dieses Vorhaben. --Andreschulz (Diskussion) 20:37, 30. Jul. 2015 (CEST)
replies: text:  Bin auch dafür, aber... es gibt schon eine Weiterleitungsseite „Entscheidbarkeit“ --> „Entscheidbar“, so daß die beiden also die Rollen tauschen sollten, oder?  Außerdem wäre es vielleicht ganz gut, den Anfang des Artikels (den ersten Satz oder so) so zu formulieren, daß das nun neue Lemma „Entscheidbarkeit“ darin auch vorkommt / erklärt wird. Oder? --H.Marxen (Diskussion) 20:51, 30. Jul. 2015 (CEST)
replies: text:  Genau, das sollte dann natürlich angepasst werden. --Andreschulz (Diskussion) 07:43, 31. Jul. 2015 (CEST)
replies: text: Es hat sich in den acht Jahren nichts getan; ich werde dann mal einen SLA auf die Weiterleitung stellen (verschieben auf die Weiterleitung kann man ohne weiteres nicht, wenn es eine Versionsgeschichte dazu gibt), damit das Lemma gemäß der Substantivregel umbenannt werden kann. --Bildungskind (Diskussion) 14:52, 12. Feb. 2024 (CET)
thread_title:  Titel „Entscheidbar“ 

message: es müsste noch weiter differenziert werden, viele gelistete probleme werden als unentscheidbar betitelt sind aber in wirklichkeit semi entscheidbar - zB PCP oder Halteproblem. Ebsno Diagonal oderCFG-NonDisjointness. Es wäre schön wenn hier mal unterschieden würde zwischen nicht entscheidbar und semi entscheidbar. --134.147.24.10 13:58, 18. Jan. 2024 (CET)
replies: text: Alle semi-entscheidbaren Probleme sind per Definition unentscheidbar, da sie nicht entscheidbar sind. Im Abschnitt Verwandte Begriffe steht bereits, dass das Halteproblem semi-entscheidbar ist. --Dexxor (Diskussion) 09:30, 20. Jan. 2024 (CET)
thread_title:  entscheidbar, semi entscheidbar