Diskussion:Berechenbarkeit

message: Ich bin etwas unsicher mit der Übersetzung. Die Amerikaner unterscheiden zwischen Computation (Berechnungen) und Computability (Berechenbarkeit). Das erste geht so mehr in Richtung technische Informatik, bis hin zur Berechenbarkeit, während das zweite ganz klar die Theorie der Berechenbarkeit ist. 
--Marc van Woerkom 00:52, 24. Okt 2004 (CEST)
thread_title: Englisch<->Deutsch

message: Eine Kuriosität ist, dass ein spezielles Problem, also ein Problem mit nur einer Instanz, immer berechenbar ist. Man könnte auch sagen, dass es für jede Funktion die keine Parameter hat, einen Algorithmus gibt, der diese Funktion berechnet. Das klingt verwirrend, ist aber trivial. Angenommen, die Frage lautet "gibt es Gott", und die Definition von "Gott" sei in irgendeiner Form vorgegeben. Diese Frage repräsentieren wir durch die (parameterlose) Funktion g(). Die Antwort muss nun entweder ja oder nein lauten - und für beide Antworten lässt sich leicht ein Algorithmus konstruieren, der die korrekte Antwort ausgibt. Es gibt also immer einen solchen Algorithmus, wir wissen nur nicht, welcher es ist.
Das gilt nur bei zweiwertiger Logik.
Ein agnostizistischer Algorithmus würde antworten können: Ich weiß nicht. Der Mensch jedenfalls ist dazu in der Lage. --Hutschi 16:55, 28. Okt 2004 (CEST)
replies: text: Die obige Aussage gilt doch für alle speziellen Aussagen, zum Beispiel auch die Frage "kommt eine Folge von 13 mal der Ziffer 7 in der Dezimaldarstellung von Pi vor?" - die Antwort "ich weiß es nicht" ist keine Antwort auf die Frage, sondern eine Aussage des Programms über sich selbst. Das hat keine Bedeutung dafür, ob das Problem berechenbar ist - im bereich der Wissenrepräsentation ist diese Art von "Meta-Antwort" allerdings in der Tat sehr wichtig. -- D. Düsentrieb ⇌ 17:16, 28. Okt 2004 (CEST)

text: Die gewählte Logik muss schon zum Problem passen, also eine gewisse Isomorphie zwischen Problem und logischem Modell vorhanden sein. Sonst funktioniert die Übertragung von Modellvorhersagen auf das Problem schlicht nicht zuverlässig. --Marc van Woerkom 17:43, 28. Okt 2004 (CEST)
replies: text: "die Antwort "ich weiß es nicht" ist keine Antwort auf die Frage, sondern eine Aussage des Programms über sich selbst. " - Man könnte die Antwort durch "Vielleicht" ersetzen. Setzt Berechenbarkeit ein zweiwertiges determiniertes logisches Modell voraus? Eine weitere Frage zur Berechenbarkeit in dem Zusammenhang: Setzt die Frage der Berechenbarkeit voraus, dass das Ergebnis richtig und eindeutig ist? Beispiel: Ein endlicher Automat unterschiedlicher Länge berechnet ein Ergebnis, das aber bei einer anderen Länge davon abweicht, was bei dem anderen entsteht. Hat die Funktion g, die oben definiert wurde, innere Parameter? Gibt sie immer die gleiche Antwort? --Hutschi 08:52, 29. Okt 2004 (CEST)

text: Die Frage "gibt es einen allmächtigen Gott" lässt sich per Deduktion einfacher entscheiden - wäre das besser? Also Annahme "allm. Gott existiert", Folgerung "kann alles", Folgerung zB "kann einen Stein so schwer machen, dass er ihn selbst nicht stemmen kann", Widerspruch, also Annahme falsch. --JJJK 22:11, 21. Jun. 2007 (CEST)
thread_title:  Berechenbarkeit 

message: Da ist noch ein dicker Fehler im Artikel, nämlich, dass Terminiertheit erforderlich sei.
Darauf komm es nicht an.
Für die Berechenbarkeit ist entscheidend, dass eine mathematische Funktion fdurch die Maschinenfunktion f_Mrealisiert wird, d.h. gefordert ist
:f = f_M
Z.B. ist die Funktion f(x) = \mbox{div} (also die Funktion, die für beliebiges x nicht terminiert) berechenbar, da man z.B. eine Registermaschine angeben kann, die diese Funktion realisiert.
Sollte jemand eine abweichende Definition kennen, bitte ich um eine Literaturangabe!
--Marc van Woerkom 17:36, 3. Jan 2005 (CET)
replies: text: Hm, bei Algorithmus hatte ich vor einiger Zeit mal die Frage aufgeworfen ob Terminiertheit eine notwendige Eigenschaft von Algorithmen ist oder nicht. Entgegen meiner persönlichen Präferenz scheint die Definition tatsächlich Terminiertheit zu verlangen. Wenn nun eine Maschienenfunktion ein Algorithmus ist, dann ist auch hier Terminiertheit pflicht. Oder ist das bei den Algorithmen doch nicht so klar? -- D. Dÿsentrieb ⇌ 19:32, 3. Jan 2005 (CET)
replies: text: Die Definition von Berechenbarkeit, die ich gelernt habe, operiert nicht mit dem windelweichen Begriff Algorithmus. Es werden Registermaschinen mathematisch präzise eingeführt und die von ihnen berechneten Funktionen als berechenbar erklärt. Das beinhaltet auch partielle Funktionen, im Extremfall die Funktion, die nirgends definiert ist. Die ist hier explizit berechenbar. Ich habe mir heute ein paar Bücher anderer Autoren bestellt, um mal zu klären, wie diese diesen Begriff erklären. --Marc van Woerkom 20:09, 3. Jan 2005 (CET)

text: Es ist wirklich nervend, dass oft viele Köche ihre diversen Definitionen durcheinander rühren, wo dann nix kompatibles rauskommt, ohne zwischendurch klar Referenzen zu nehmen. Wissenschaftlich wäre das ein sehr unsauberes Arbeiten. Sauber ist es, evt. verschiedene Definitionen klar zu benennen, mit Herkunft. Das ist hier und bei Algorithmus noch nicht geschehen. --Marc van Woerkom 20:41, 3. Jan 2005 (CET)
thread_title:  Berechenbarkeit und Terminiertheit 

message: Außer Berechenbarkeit in der Rechentechnik,gibt es da nicht auch Berechenbarkeit in der Psychologie und in der Physik? Sollten wir den Begriff "Berechenbarkeit" als "Voraussehbarkeit" mit behandeln? --Hutschi 10:04, 12. Jan 2005 (CET)
replies: text: Siehe dazu Determinismus, vergleiche Determinismus (Algorithmus)-- D. Dÿsentrieb ⇌ 00:15, 13. Jan 2005 (CET)
thread_title:  Psychologie, Physik 

message: "Eine Funktion f : \mathbb{N}^k \rightarrow \mathbb{N} heißt berechenbar, wenn es einen Algorithmus gibt, der bei Eingabe von \left( n_1, ..., n_k \right) \in \mathbb{N}^k nach endlicher Zahl von Schritten f \left( n_1,... , n_k \right) berechnet, sofern f \left( n_1,... , n_k \right) definiert ist und andernfalls nicht terminiert." 
Bezieht sich "andernfalls" auf definiert? 
Eine Funktion f : \mathbb{N}^k \rightarrow \mathbb{N} heißt berechenbar, wenn es einen Algorithmus gibt, der bei Eingabe von \left( n_1, ..., n_k \right) \in \mathbb{N}^k nach endlicher Zahl von Schritten f \left( n_1,... , n_k \right) berechnet, sofern f \left( n_1,... , n_k \right) definiert ist und, wenn f \left( n_1,... , n_k \right)  nicht definiert ist, nicht terminiert. --Hutschi 15:10, 14. Feb 2005 (CET)
thread_title:  Worauf bezieht sich "andernfalls"? 

message: Was ist mit "div" in f(x)=div gemeint? --Analyx 14:18, 30. Jan. 2010 (CET)
thread_title:  Zahlenfunktionen 

message: „Unabhängig davon ist zu beachten, dass nicht jede mathematische Funktion berechenbar ist, so ist beispielsweise das Halteproblem unberechenbar.“
:Hier scheint Berechenbarkeit mit Entscheidbarkeit verwechselt worden zu sein. Nicht jede mathematische Funktion hat ein definiertes Ergebnis. Man spricht dann von einer partiellen Funktion, wozu auch die im Artikel genannte div-Funktion gehört, die ja ausdrücklich berechenbar ist. Das Halteproblem ist semi-entscheidbar. Semi-entscheidbar ist gleichwertig mit rekursiv aufzählbar . In der Chomsky-Hierarchie entspricht das genau den Typ-0-Sprachen. Für alle Typ-0-Sprachen existiert eine Turingmaschine, die die entsprechende Sprache erkennt. Das Halteproblem ist daher durchaus mit einer Turingmaschine berechenbar. Klar, die Berechnung wird zu keinem Ergebnis führen, da das Problem nicht entscheidbar ist, aber das ist ja nicht die Frage bei der Berechenbarkeit (siehe Definiton der Berechenbarkeit: Funktion heißt auch dann berechenbar, wenn bei undefinierten Funktionsergebnissen der Algo nicht terminiert). --Matthäus Wander 20:36, 25. Jul 2005 (CEST)
thread_title:  Verwechslung Berechenbarkeit und Entscheidbarkeit 

message: Zunächst wird erwähnt, dass man Berechenbarkeit nicht mit Entscheidbarkeit verwechseln solle. Das ist sehr wohl wahr. Danach bare wird wervechselt, was nur wervecheselt werden kann. da poltert alles munter durcheinander und auf einmal ist von entscheidbaren Funktionen die Rede. No way. Probleme (also Mengen) sind entscheidbar, Funktionen niemals. Das ganze mündet dann in dem Erguss, das Halteproblem sei berechenbar. Autsch. Funktionen können berechenbar sein, Probleme können entscheidbar sein. 
Der Zusammenhang zwischen Berechenbarkeit und Entscheidbarkeit lässt sich über die charakteristische Funktionen herstellen. Ein Problem ist nämlich genau dann entscheidbar, wenn seine charakteristische Funktion berechenbar ist. Der Vollständigkeit halber sei erwähnt, dass eine charakteristische Funktion immer total ist.
--Gar kein name 00:46, 30. Jan. 2007 (CET)
thread_title:  Halteproblem/Berechenbarkeit/Entscheidbarkeit 

message: Die Bemerkung die in diesem Artikel über die Berechenbarkeit auf reellen Zahlen gemacht wird ist zumindest unbrauchbar, vielleicht sogar falsch. Reelle Zahlen lassen sich womöglich durch unendliche Wörter repräsentieren. Von diesen ist aber im ganzen Rest des Artikels nicht die Rede. Der gesamte Artikel bezieht sich (wenn überhaupt) auf klassische Berechenbarkeitstheorie, nicht jedoch auf Berechenbarkeit auf überabzählbaren Mengen. In dem Zusammenhang zu behaupten, die Berechenbarkeit auf reellen Zahlen, sei mit der Definition geeigneter Wörter erschlagen, ist wohl etwas verkürzt.
Ich frage mich, wozu die Bemerkung überhaupt gemacht wird? (Eigentlich frage ich mich wozu dieser Artikel überhaupt dient: Für eine Fachfremden, der sich über den Begriff informieren möchte, steht da viel zu viel. Eine solche Information müsste sich in wenigen Sätze fassen lassen. Und das auch noch reichlich unsortiert. Wenn jemand z.B. noch mal etwas (Bekanntes) nachlesen möchte, nützt ihm dieser Artikel aber auch wenig, dafür ist er zu ungenau und zu unsortiert).
Nun denn, bisher wollte man mir die Löschung dieses Satzes nicht gewähren. Das hielte ich aber für angebracht. Man kann das guten Gewissens nicht so stehen lassen. Nunmehr stelle ich diesen Satz zur Diskussion.
Weiterhin wurde ich vorschlagen, diesen Artikel auf einen Verweis auf die Berechenbarkeitstheorie zu ersetzen und jenen Artikel gegebenenfalls zu überarbeiten.
--Gar kein name 17:46, 11. Feb. 2007 (CET)
thread_title:  Reelle Zahlen 

message: Am Ende des Artikels Berechenbarkeit steht Kategorie:Berechenbarkeitstheorie. Von Kategorie:Theologie ist nicht die Rede. Theologische Erörterungen haben also in dem Artikel keine Berechtigung. Ich bin daher sehr dafür, den Abschnitt Berechenbarkeit#Spezielle Probleme zu löschen, zumal er überdies sehr spekulativ ist. Irgendwelche Einwände? --AlfonsGeser 11:27, 15. Jun. 2008 (CEST)
replies: text: Ich habe den Absatz jetzt umgeschrieben. Möglicherweise ging es dem Autor ja um "uniforme" Berechenbarkeit. --Wuzel 22:29, 28. Aug. 2008 (CEST)
thread_title:  Theologische Berechenbarkeit? 

message: Ich war positiv erstaunt, dass der Artikel - im Gegensatz zur englischen Version - mit Registermaschien arbeitet;
allerdings fehlen Turing-Maschinen, endliche Automaten usw; ferne gibt es Überschneidungen mit Berechenbarkeitstheorie.
Dabei ist mir auch aufgefallen, dass es keine Literaturangaben gibt. Das ist bei Registermaschinen schwierig,
ist aber unvermeidlich.
Auch zur eigenen Motivation habe ich daher den Baustein "Belege fehlen" eingefügt, der zwar etwas drastisch klingt,
aber vielleicht mehr Beiträge bringt als wenn ich alleine Literatur hinzufüge.
Vielleicht hilft die Suche nach Literatur auch, die Artikel untereinander abzugleichen.
--rainglasz 12:08, 21. Okt. 2011 (CEST)
replies: text: Hat sich das mittlerweile geklärt? Der Baustein hängt da nun schon seit 4 Jahren... --TheRandomIP (Diskussion) 14:22, 29. Jan. 2016 (CET)
replies: text: Nein, hat es sich nicht. U.a. ist die "formale Definition" problematisch. Sie schleudert bei partiellen Funktionen und trennt den intuitiven Berechenbarkeitsbegriff nicht klar von der Turing-Berechenbarkeit. Siehe z.B.:  oder . Hier sollte man die Definitionen besser wirklich belegen. -- Cobalt pen (Diskussion) 02:48, 30. Dez. 2018 (CET)
thread_title:  Markierung "Belege fehlen" eingefügt