Diskussion:Satz von Löwenheim-Skolem

message: Moin,
der gesamte Artikel ist sehr schwer verständlich ("Oma-Test" nicht bestanden). Das mag mit der Materie zusammenhängen; meiner Meinung nach sollte in einer Enzyklopädie aber wenigstens in den einleitenden Worten (über dem Inhaltsverzeichnis) allgemeinverständlich stehen, worum es geht und wie man sich die Problematik vorzustellen hat. Bei "Das Löwenheim-Skolem-Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen Domäne erfüllt ist." ist das aber definitiv nicht der Fall. Die mathematischen Details können für Interessierte ja weiter unten ruhig ausdiskutiert werden. Leider bin ich in Mathe nicht so gut und kann selbst nicht zur Verbesserung der Einleitung beitragen :-(. Viele Grüße --Thomas Roessing 21:17, 5. Mär 2006 (CET)
replies: text: Da stimme ich absolut zu. Der Einleitungssatz sollte beginnen "Das Löwenheim-Skolem-Theorem ist.." und nicht "Das Löwenheim-Skolem-Theorem besagt..". Ich würde es ja selber ändern, aber leider verstehe ich zuwenig von der Materie. Die englische Version beginnt wenigstens mit "In mathematical logic, the..". --Helge 17:32, 12. Aug. 2007 (CEST)
thread_title:  Verständlichkeit 

message: Heißt das auf Deutsch nicht eher "Satz von Löwenheim-Skolem"? "Löwenheim-Skolem-Theorem" scheint mir ein Anglizismus zu sein. --Digamma 21:22, 21. Feb. 2007 (CET)
replies: text: Jo, heißt er. Ist zwar schon ein paar Tage her, dass du das geschrieben hast, der Artikel sollte aber verschoben werden.--Frogfol (Diskussion) 20:05, 25. Nov. 2013 (CET)

text: Und zwar nach "Satz von Löwenheim-Skolem", wie du sagst, weil das die allgemein benutzte Bezeichnung ist und die beiden den Satz (in unterschiedlichen Formen) bewiesen haben, aber nicht gemeinschaftlich.--Frogfol (Diskussion) 05:25, 27. Nov. 2013 (CET)
replies: text: Verschieben nach Satz von Löwenheim-Skolem geht nicht, weil da eine Weiterleitungsseite existiert. Die müsste man erst löschen. Ich frage mal einen Admin, ob er das macht. --Hajo Keffer (Diskussion) 08:24, 27. Nov. 2013 (CET)
replies: text: SLA stellen, dann geht das schnell.--Frogfol (Diskussion) 13:29, 27. Nov. 2013 (CET)
replies: text: ich möchte dagegen stimmen. Mit Bindestrich zwischen Löwenheim und Skolem finde ich unschön, da es sich ja um zwei verschiedene Personen handelt. Mir ist nur die Bez. Skolem-Theorem gewohnt, aber das heißt je nichts. Bitte auch erst dann die Links in den Artikeln ändern, wenn die Verschiebung steht.-- Leif Czerny 15:09, 27. Nov. 2013 (CET)
replies: text: Das ist doch so allgemein üblich, Satz von Peter-Weyl, Satz von Cantor-Schröder-Bernstein, usw. --Chricho ¹ ² ³ 15:14, 27. Nov. 2013 (CET)
replies: text: Wirklich? Wie unschön. Gibt's dazu eine diskutierte Konvention?-- Leif Czerny 15:18, 27. Nov. 2013 (CET)
replies: text: Verschiebung steht ja. So wird der Satz allgemein genannt.--Frogfol (Diskussion) 15:32, 27. Nov. 2013 (CET)

text: Ich rede vom allgemeinen Sprachgebrauch, nicht von Wikipedia-Standards. --Chricho ¹ ² ³ 15:39, 27. Nov. 2013 (CET)

text: @forgfol: Ja, das hatte sich mit den Edits in Geschichte der Logik überschnitten. @Chricho: Dann lassen wir die Diskussion lieber. Mein Sprachgebrauch wärs nun eben nicht.-- Leif Czerny 16:36, 27. Nov. 2013 (CET)
thread_title:  Lemma 

message: Universum (Mathematik) behandelt nur Mengenuniversen. Der bisherige Link auf Individuenbereich war auch nicht besser: das ist eine Weiterleitung auf Universum (Mathematik). Die Bezeichnung "Universum" kenne ich in diesem Kontext eigentlich nur aus englischsprachiger Literatur. "Domäne" habe ich noch nie gehört. Das scheint mir ein Versuch zu sein, das englische "domain" einzudeutschen. Ebbinghaus sagt "Trägermenge". 
Bei einer kleinen Recherche durch Wikipedia habe ich gemerkt, dass hier großes Chaos herrscht. Die Artikel Modell, Modelltheorie, Prädikatenlogik, Struktur (Modelltheorie), Interpretation (Logik) scheinen nicht viel voneinander zu wissen. Jeder benutzt andere Bezeichnungen. 
In Struktur (Modelltheorie) ist von "Grundbereich", "Trägermenge" oder "Universum" die Rede, ohne Link. In Prädikatenlogik von Diskursuniversum. Diese Seite gehört aber eher zur philosophischen Logik. In Interpretation (Logik) steht "Wertebereich (auch Universum, Domäne, Wertemenge, Individuenmenge, Individuenbereich oder Gegenstandsbereich genannt)". Dabei ist "Wertebereich" auf "Definitionsmenge" verlinkt. --Digamma 18:54, 20. Feb. 2012 (CET)
replies: text: Ich habe Universum vor ein paar Minuten auf die QS gesetzt, siehe dort. Modell hat doch keinen eigenen Artikel? Wie wäre es mit zentraler Diskussion auf der QS? --Chricho ¹ ² 18:58, 20. Feb. 2012 (CET)
thread_title:  Jüngste Änderung: Universum