Diskussion:Satz von Rice

message: Wenn S eine Teilmenge von R ist und S nicht die leere Menge aber auch nicht R, wäre dann nicht S eine echte Teilmenge von R? Warum wird das dann nichttrivial genannt?
:Auch die leere Menge wird als echte Teilmenge bezeichnet, soll hier aber mit ausgeschlossen werden. Tian 22:59, 9. Okt. 2006 (CEST)
replies: text: Zum Glück ist Mathematik keine Religion.  Nicht wie der unglückliche Kurt Gödel das Haushalten und Essen vergessen, wie manche Fernsehsüchtige vergessen den Müll rauszubringen.  Viel Glück beim Bearbeiten des Artikels - ich verstehe Rice's Überlemma nicht.--84.157.242.85 18:07, 28. Jun. 2008 (CEST)
thread_title:  Verständnisfrage: 

message: Im Artikel theoretische Informatik ist die Bedeutung von Rices Satz für meinen Geschmack nicht richtig klargestellt.  Die Eineitung dieses Artikels gestattet dem Leser gedanklich Softwareverifikation für theoretisch möglich zu halten.  Im theo. Inf. Artikel wurden die entsprechenden Aussagen gelöscht - obwohl es laut Heise-Newsticker für einen Wissenschaftler aus/in Texas dafür sowas wie den Turingpreis gab.  Was meint ihr zu der verallgemeinerten Aussage mit dem Senkrecht-Operator? Ist Verfikation ein Gespenst das manchmal aus der Kiste kommt - oder gibt's solch ein Phänomen wirklich?  e' * 1 = 1 = 1 * e" (Wort und Zahlenfunktion gehören unterschieden, wenn man nicht Georg Cantor heißt - er hätte auch so anfangen sollen - schicksal) --84.157.242.85 22:28, 28. Jun. 2008 (CEST)
thread_title:  Scope of Rice 

message: Wäre es nicht sinnvoll, ein paar praxisrelevante Folgen des Satzes aufzuschreiben? Mir fiele da z.B. ein, dass es unmöglich ist, die "Gut- oder Bösartigkeit" unbekannter Software algorithmisch festzustellen, siehe aktuelle Virenscanner-Debatte. :-) --RokerHRO 09:47, 13. Okt. 2011 (CEST)
thread_title:  Folgen in der Praxis 

message: Die Aussage "Ebenso ist es nicht entscheidbar, ob eine Turingmaschine eine vorgegebene Funktion berechnet." gefaellt mir so nicht. Ich finde, es sollte heissen "... ist es im Allgemeinen nicht entscheidbar...". Man stelle sich nur als vorgegebene Funktion eine Funktion vor, die durch eine bekannte Turingmaschine definiert ist. Man kann zumindest feststellen, dass eben diese Turingmaschine die Funktion berechnet. Es ist ja "nur" nicht moeglich, das fuer jede Turingmaschine zu entscheiden.
--Unixfan (Diskussion) 17:35, 27. Mär. 2013 (CET)
replies: text: Die Turingmaschine, für die man das überprüfen will, ist die Eingabe, ob die die Funktion berechnet, die Ausgabe. Dieses Problem ist nicht entscheidbar. „Im Allgemeinen“ klingt so, als gäbe es einzelne Funktionen oder einzelne TMs für die das entscheidbar wäre. Ersteres ist falsch, zweiteres macht keinen Sinn: Es geht um das Problem, bei dem eine beliebige TM gegeben ist. Das Problem, bei dem nur eine bestimmte TM akzeptiert wird und von der gesagt wird, ob die eine bestimmte Funktion berechnet, ist für jede TM und jede Fkt. entscheidbar. --Chricho ¹ ² ³ 17:44, 27. Mär. 2013 (CET)
replies: text: Ja, ich stimme prinzipiell zu. Vielleicht sollte ich mein Problem anders formulieren: Man kann doch so etwas wie partielle Entscheidungsalgorithmen finden, die nur auf eine Teilmenge der Kleeneschen Huelle angewendet werden koennen, oder? Kann sein, dass ich gerade total falsch liege, weil eventuell nicht entscheidbar ist, ob ein Algorithmus ein solcher partieller Entscheidungsalgorithmus ist.--Unixfan (Diskussion) 18:09, 27. Mär. 2013 (CET)
replies: text: Klar kann man das. Aber die von dir vorgeschlagene „im Allgemeinen“ Formulierung ist eben nicht gut, da sie falsche Dinge suggeriert. Die jetztige Formulierung scheint mir dagegen vertretbar: „Das Problem XY ist nicht entscheidbar“. Da meint man XY, und nicht XY eingeschränkt auf bestimmte Fälle. Aber mach einen besseren Vorschlag. --Chricho ¹ ² ³ 18:21, 27. Mär. 2013 (CET)
replies: text: Wie waere es mit: Ebenso ist nicht fuer jede Turingmaschine entscheidbar, ob sie eine vorgegebene Funktion berechnet.--Unixfan (Diskussion) 20:05, 27. Mär. 2013 (CET)
replies: text: Ne, birgt dasselbe Missverständnis. Für jede einzelne Turingmaschine ist dieses Problem nämlich durchaus entscheidbar – entweder mittels des Algorithmus, der 0 ausgibt, oder der 1 ausgibt. So kann man das zumindest leicht missverstehen. --Chricho ¹ ² ³ 20:19, 27. Mär. 2013 (CET)
replies: text: Du hast recht. Am besten bleibt es wie es ist, man sollte sich einfach selbst den exakt und schoen formulierten Satz anschauen und S={irgendein T-berechenbares f} setzen, dann ist die Aussage ja perfekt und wesentlich einfacher laesst es sich vermutlich nicht ausdruecken.--Unixfan (Diskussion) 20:37, 27. Mär. 2013 (CET)
thread_title:  Unpraezise Formulierung bei den Beispielen? 

message: In https://www.youtube.com/watch?v=PCFyC-bNTvk&feature=youtu.be&t=14m28s wird der Begriff der "funktionalen Eigenschaft" statt "semantisch nicht-trivialer Eigenschaft" genutzt und auch erklärt, wie man solch eine Eigenschaft an zwei Merkmalen erkennt. Eventuell kann man dies hier mit einbauen/erwähnen, falls dies so Sinn macht, denn im Artikel wird nur auf "trivial" verwiesen und nicht genauer erklärt, wie dies (in diesem Fall) zu verstehen ist.
--rugk (Diskussion) 22:39, 19. Jun. 2018 (CEST)
thread_title:  semantisch nicht trivial = funktional