Diskussion:Gödelnummer

message: der Begriff durchschaubar der auf Berechnbarkeit verweist kommt in dem artikel dort nicht einmal vor.
Das sollte irgendwie anders formuliert werden imo. --88.153.109.94 10:59, 5. Nov. 2009 (CET)
thread_title: durchschaubar

message: Ich denke, dass dieser Artikel zu schwierig und für den Laien unverständlich geschrieben ist. (Slash27) 
:Sicher ist das so, der Artikel ist von seinem Inhalt her allerdings auch schon nicht fuer Laien gedacht.. man muesste beim Urschleim anfangen, um das fuer einen Nicht-Naturwissenschaftler begreiflich zu machen und das erschein mir unverhaeltnismaessig. :-) Denke wenn man sich das Beispiel ankiekt, hat man zumindest eine Vorstellung vom Sinn des Ganzen.. glaube das reicht, oder? --Schwarzer8Kater 10:59, 17. Feb. 2008 (CET)
replies: text: Nun ja. Eine Kontextualisierung wäre vielleicht schon angebracht, etwa der Verweis auf die Unvollständigkeitssätze. Das würde dem Nicht-Naturwissenschaftler verstehen helfen, wozu Gödel das überhaupt eingeführt hat. Das Problem ist ja hier nicht, dass der Laie nicht verstünde, wie das Verfahren funktioniert, sondern wofür es gut ist.--Sbot 00:01, 24. Aug. 2010 (CEST)

text: "Alle über die Kodierung von Programmen in einer Programmiersprache definierten Aufzählungen sind Gödelnummerierungen." Dieser Satz kann nicht mal von einem Informatiker sauber verstanden werden, weil die Worte zu generisch sind, zu generisch gefügt sind und man sonstiges interpretieren könnte. Ich halte den Satz inhaltlich auch für falsch, weil wohl so etwas wie bytecode gemeint ist, aber "Aufzählungen" IN einer "Programmiersprache" meines Erachtens damit nichts zu tun haben. Sorry, ich verstehe den Satz nicht! --95.118.191.36 06:25, 31. Dez. 2015 (CET)
replies: text:  Der Satz (vorhanden seit Erstellung des Artikels) ist entfernt. Er war m.E. noch nie sinnvoll, auch nicht für den ursprünglichen Autor. --79.250.135.73 02:08, 1. Jan. 2016 (CET)
replies: text:  Oha! Ich verstehe diesen Satz sehr wohl, und für einen Theoretiker ist er nicht sehr exotisch oder unklar. Das „in einer Programmiersprache“ gehört nicht zur Aufzählung, sondern zu den „Programmen“. Und nein, „bytecode“ ist nicht gemeint, sondern der Quelltext in einer Kodierung wie z.B. ASCII. Eure Spekulationen darüber, was andere verstehen können oder verstanden haben, sind unpassend und arrogant.  Ich verkneife mir, darüber zu spekulieren, was Ihr da verstanden habt, und warum nicht. Wenn jemand konkrete Ideen hat, wie man hier verständlicher formuliert, nur zu, konkretes werde ich gerne "begutachten".--H.Marxen (Diskussion) 20:18, 4. Jan. 2016 (CET)
thread_title:  Unverständlich 

message: Die Formale Definition ist meiner Meinung nach unverständlich:
Eine Aufzählung \varphi \in P^2_1 heißt Gödelnummerierung, wenn für alle g \in P^2_1 ein h existiert, so dass g = \lambda, i,x[\varphi(h(i),x) ] gilt. h heißt dann Übersetzungsfunktion zu g bezüglich \varphi
Was fehlt ist folgendes: Es sollte
*das Symbol P^2_1 definiert werden
*die Bedeutung der eckigen Klammern erklärt werden
*die undefinierten Zeichen \lambda i,x erläutert werden. Falls diese sich durch die Schreibweise P^2_1 ergeben, so ist eine Erklärung von P^2_1 umso wichtiger.
Eine andere und einfachere Definition habe ich auf der englischen Wiki-Seite gefunden:
Given a countable set S, a Gödel numbering is a function
:f:S \to \mathbb{N}
with both f and the inverse of f a computable function.
Eine Gödelnummerierung macht doch letztendlich nichts anderes, als eine Abzählbare Menge S auf die natürlichen Zahlen abzubilden, oder verstehe ich das falsch?--Agent00 ~ Diskussion 19:28, 25. Nov. 2006 (CET)
replies: text: Siehe nun Gödelnummer -- Lückenloswecken! 01:19, 7. Dez. 2007 (CET)
thread_title:  Definition 

message: Eine weitere Frage ist, in wie weit sich dieser Artikel mit Gödel-Isomorphismus überschneidet, und ob man beide zusammenlegen kann. Für mich behandeln beide das selbe Thema. --Agent00 ~ Diskussion 19:33, 25. Nov. 2006 (CET)
replies: text: Gödel-Isomorphismus ist jetzt gelöscht -- siehe Löschdiskussion und Redundanzdiskussion -- Lückenloswecken! 01:19, 7. Dez. 2007 (CET)
thread_title:  Überschneidung mit [[Gödel-Isomorphismus]] 

message: Ist m Element von M oder einfach nur irgendeine undefinierte Variable? Wenn es ein Element der Menge M ist, muss das in die Definition mit rein. -- 141.79.50.140 16:45, 9. Nov. 2010 (CET)
thread_title:  m Element von M? 

message: Warum Zahlentheorie? Man kann doch auch irgendwelche Logiken mit irgendwelchen Axiomensystemen gödelisieren. --Chricho ¹ 11:55, 16. Jan. 2011 (CET)
thread_title:  Zahlentheorie 

message: Der englische Artikel – siehe en:G%C3%B6del_numbering#Lack_of_uniqueness – behauptet gerade das Gegenteil von diesem. Ich habe hierzu eine Diskussion auf en:talk:G%C3%B6del_numbering#Uniqueness – or not? gestartet. ◀ SebastianHelm (Diskussion) 13:42, 28. Apr. 2020 (CEST)
replies: text: Es geht wohl um nachfolgende Aussage. A Gödel numbering is not unique, in that for any proof using Gödel numbers, there are infinitely many ways in which these numbers could be defined. / Eine Gödel-Nummerierung ist nicht eindeutig, da es für jeden Beweis, der Gödelnummern verwendet, unendlich viele Möglichkeiten gibt, wie diese Zahlen definiert werden könnten. - Ralf Preußen (Diskussion) 14:38, 28. Apr. 2020 (CEST)
thread_title:  Eindeutig oder nicht? 

message: Warum wird der Artikel unter "Gödelnummer" geführt? 
Erstens: der wesentliche Unterschied zwischen einer Nummer und einer Zahl (den es im Englischen anscheinend nicht gibt) ist doch der, dass man dann von einer Zahl spricht, wenn man mit ihr arithmetische Operationen ausführen kann.  Eine Nummer hingegen gibt höchstens einen Platz in einer Reihenfolge an (Hausnummer) oder ist überhaupt recht willkürlich aufgebaut (Telefonnummer). 
Im Artikel geht es nicht um eine einzelne Gödelzahl (oder -nummer), sondern um Gödelisierung.  Das wäre meiner Meinung nach überhaupt der treffendste Titel. 
--Wuzel (Diskussion) 16:17, 7. Jun. 2020 (CEST)
thread_title:  Gödelzahl, Gödelnummer, Gödelisierung