Diskussion:Löwenheim-Skolem-Theorem

aus Wikipedia, der freien Enzyklopädie

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)

[Bearbeiten] "Oma-Test"

Das Löwenheim-Skolem Theorem ist keine einfache Schulmathematik. Zumindest müsste man erst einmal den Unterschied zwischen abzählbar unendlichen und überabzählbar unendlichen Mengen kennen, um das Theorem verstehen zu können. Ich denke nicht, daß hier der sogenannte 'Oma-Test' sinnvoll anzuwenden ist.

[Bearbeiten] Lemma

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)