Diskussion:Rekursiv aufzählbare Menge
Definition
[Quelltext bearbeiten]Die Definition ist so nicht verständlich. Ist die Menge Teilmenge einer Grundmenge? Wenn ja welcher? Wenn die Funktion als Urbildbereich hat, ist die Forderung nicht schwer zu erfüllen.
Woher stammt die Schreibweise ? Ist die wirklich verständlich?
Der mit Häufig beginnende Abschnitt scheint kein Teil der Definition sondern eine Erläuterung zu sein. Das sollte entsprechend kenntlich gemacht werden.
--Gar kein name Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-Gar kein name-2007-02-11T17:11:00.000Z-Definition11
Halteproblem
[Quelltext bearbeiten]Das Halteproblem ist doch ein typisches Beispiel für ein nicht entscheidbares Problem, oder? Es ist also nicht semi-entscheidbar. (Falls mir niemand widerspricht, werde ich nächste Woche den Satz aus dem Artikel entfernen.9 --MartinThoma Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-MartinThoma-2011-12-02T12:52:00.000Z-Halteproblem11
- Das Halteproblem ist nicht entscheidbar, aber es ist semi-entscheidbar: Entscheidbar#Verwandte Begriffe. --Fomafix Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-Fomafix-2011-12-03T15:31:00.000Z-MartinThoma-2011-12-02T12:52:00.000Z11
Zusammenlegen mit Rekursive Aufzählbarkeit
[Quelltext bearbeiten]Hat jemand was dagegen, wenn ich den Artikel mit Rekursive Aufzählbarkeit zusammenege? Es ist für Leser wohl eher verwirrend, wenn für das vollkommen gleiche Konzept mehrere Artikel da sind. Grüße--Schreiber ✉ Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-Schreiber-2012-02-01T18:22:00.000Z-Zusammenlegen mit Rekursive Aufzählbarkeit11
- Hab ich jetzt gemacht.--Schreiber ✉ Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-Schreiber-2012-02-03T11:23:00.000Z-Schreiber-2012-02-01T18:22:00.000Z11
Eigenschaften
[Quelltext bearbeiten]Folgende Aussage steht unter Eigenschaften "Jede entscheidbare Menge ist rekursiv aufzählbare Mengen [...]"
Das ist kein korrekter, deutscher Satz. Könnte das bitte jemand korrigieren, der weiß was die Aussage sein soll? --MartinThoma Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-MartinThoma-2012-02-20T12:58:00.000Z-Eigenschaften11
- Danke, ist erledigt.--Schreiber ✉ Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-Schreiber-2012-02-20T13:01:00.000Z-MartinThoma-2012-02-20T12:58:00.000Z11
unverständlich
[Quelltext bearbeiten]Von einem mathematischen Detailartikel, kann man vielleicht nicht verlangen, dass er von mathematischen Laien wirklich verstanden wird ohne zuvor einige tausend Links abgearbeitet zu haben, aber zumindest die Einleitung sollte doch den OmA-Test bestehen und dem unbedarften Leser zumindest eine grobe Vorstellung davon vermitteln worum es geht. Das ist hier nicht der Fall. Z. B. der Erste Satz kling für mich ungefähr so gehaltvoll wie:
- Eine bipolare Bläuung ist in der Adversionstheorie eine angenommene Linksverschiebung im soziohabitativen Substrat unter den Annahme einer tonochromen Vexilliarität von 1<X wenn X reziprok isoneodynisch ist.
Nur mal so als Versuch euch erfahrbar zu machen wie man sich als Leser hier fühlen kann.--WerWil (Diskussion) Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-WerWil-2012-12-29T01:42:00.000Z-unverständlich11
Äquivalenzen zur Definition vs. Eigenschaft
[Quelltext bearbeiten]Es lässt sich zeigen, dass folgender Satz gilt:
- Eine Menge ist genau dann semi-entscheidbar, wenn es eine entscheidbare Menge gibt, mit der Eigenschaft:
Meiner Meinung nach ist dieser Satz durchaus erwähnenswert, die Frage ist nur in welchem Abschnitt. Auch wenn er vom Inhalt her eine Äquivalenz zur Definition darstellt, bricht selbst eine Formulierung wie
- Es gibt eine entscheidbare Menge für die gilt.
die bisherige sehr strenge und einheitliche Form der Stichpunkte im Abschnitt Äquivalenzen zur Definition deutlich auf.
Um ihn aber in den freier formulierten Abschnitt Eigenschaften anzusiedeln ist der Satz eigentlich zu mächtig.
-- 82.119.29.173 Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-82.119.29.173-2013-02-28T23:50:00.000Z-Äquivalenzen zur Definition vs. Eigenschaft11
- Ich hab den Satz unter Äquivalenzen zur Definition hinzugefügt; dass die Form abweicht, halte ich für unwichtig; vom Charakter her ähnelt diese Aussage ja durchaus denen, die schon da stehen (vor allem den Sachen mit Definitions- oder Wertebereich). Grüße--Schreiber ✉ Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-Schreiber-2013-03-02T20:20:00.000Z-82.119.29.173-2013-02-28T23:50:00.000Z11
Selbstanwendbarkeit
[Quelltext bearbeiten]Unter Beispielen ist angeführt: "Die Selbstanwendbarkeit ist rekursiv aufzählbar." Der Begriff "Selbstanwendbarkeit" müsste hier erklärt werden. --Jansan (Diskussion) Diskussion:Rekursiv aufz%C3%A4hlbare Menge#c-Jansan-2022-07-01T20:10:00.000Z-Selbstanwendbarkeit11