Diskussion:Interne Mengenlehre

message: Nachdem die Definition "Eine reelle Zahl x heißt unendlich klein oder Infinitesimalzahl, wenn für jede reelle Standardzahl r > 0 gilt: | x | < r"
wörtlich (!!allerdings auf englisch) in Keislers Buch "Foundations of Infinitesimal Calculus" steht, das als Lehrer-Handbuch für  H. Jerome Keisler: Elementary Calculus gedacht war, wird überhaupt nicht klar, was das besondere an IST sein soll. Zusätzlich wird man ja gegenüber \mathbb R wahrscheinlich eine Körpererweiterung o.ä. konstruieren oder sich dazu auf Löwenheim-Skolem berufen müssen, wenn man zeigen will, dass es i-kleine Elemente gibt!
Da muss zumindestens angedeutet werden, was jetzt das eigentlich Besondere ist. Oder habe ich da etwas missverstanden?
--Mini-floh 13:07, 26. Jan. 2012 (CET)
thread_title:  Probleme mit dem Verstehen des Sinnes 

message: Das Standardisierungsaxiom (zurzeit \forall^{st} x \exists^{st} y \forall^{st} z (z \in x \iff \Phi)), wobei y nicht in \Phi vorkommt), soll bestimmt anders lauten, denn so steht da bei Spezialisierung auf die Standard-Menge x=\emptyset, dass \exists^{st} y \forall^{st} z \neg \Phi. Möglicherweise soll es eher heißen:
:\forall^{st} x \exists^{st} y \forall^{st} z (z \in y \iff \Phi)),
so dass die als existent behauptete Menge y wenigstens ein wenig umschrieben wird. Allerdings würde das dazu führen, dass es eine Standard-Menge gibt, die alle Standardmengen enthält (wenn \Phi beispielsweise z=z lautet).
Daher vermute ich am ehesten, dass 
:\forall^{st} x \exists^{st} y \forall^{st} z (z \in y \iff (z\in x \land \Phi))
gemeint ist. Das Axiom postuliert also die Existenz einer Standard-Menge, deren Standard-Anteil durch die Menge \{z\in x\colon \Phi\} gegeben ist. Interpretiere ich das richtig?--Hagman 20:13, 26. Jan. 2012 (CET)
replies: text: Hi, ja. Und die zweite Formulierung ist, mE, korrekt. Die Potenzmenge erfüllt die genannte Bedingung. Das Standardisierungsaxiom besagt, dass es für jede Formel, also auch mit Nichtstandard-Bestandteilen, eine Standard-Menge gibt, die genau alle Standard-Elemente enthält, die die Formel erfüllen. Zusätzlich kann sie natürlich Nichtstandard-Elemente enthalten, die die Formel nicht erfüllen.--LutzL 10:29, 27. Jan. 2012 (CET)
thread_title:  Standardisierungsaxiom falsch formuliert? 

message: Es bestehen zum Teil erhebliche Abweichungen zur (einzigen) angegebenen Quelle.
Am meisten stößt mir auf, dass die Angaben, welche Variablen bei \Phi frei, gebunden oder überhaupt nicht auftauchen, zwischen WP und Quelle abweichen. Ferner wird \Phi hier teils als Aussage (statt Aussageform? Aussagen haben normalerweise keine freien Variablen) und teils sogar als Satz(!) (welcher Theorie? Sätze sind beweisbare Aussagen, machen an dieser Stelle also gar keinen Sinn) bezeichnet. Ich lese mich mal durch das Original durch, das scheint doch um einiges verständlicher zu sein, hat allerdings vielleicht auch ein paar Mängel hinsichtlich der Angabe freier/gebundener/sonstiger Variablen.--Hagman 18:03, 29. Jan. 2012 (CET)
replies: text: Ich glaube, das ist z.T. darauf zurückzuführen, dass in der deutschen Wiki sehr häufig ad-hoc-Eindeutschungen englischer Fachbegriffe verwendet werden, ohne dass man auf diese hinweist (und z.T., wie die Diskussion bei Peano-Arithmetik zeigt, in "bewusster Unkenntnis". Das deutsche Wort "Satz" kann vom englischen "theorem" herkommen, wo es dann die von Dir angegebene Bedeutung haben würde. Es kann aber auch wie hier von "sentence" herkommmen. Dieser Begriff wird normalerweise für "closed formula" verwendet. Formula wird außerdem von einigen Autoren mit "Aussage" "übersetzt" , die dann von offenen und geschlossenen Aussagen sprechen. Leider wird dies dann über verschiedene Vorlesungsskripte auch nach Wiki hinein transportiert und jeder bringt dort seine eigene Kurz-Zusammenfassug der für ihn wichtig erscheinenden Teile, anstatt dass das in einem zusammenhängenden Artikel zusammengefasst ist, auf den man verlinken kann. Dadurch, dass ein Teil der Begriffe im Deutschen bereits anders belegt sind, entsteht ein entsprechendes Durcheinander.--Mini-floh 21:08, 29. Jan. 2012 (CET)
replies: text: Ich habe mal die beanstandeten Vorkommen ersetzt. Allerdings habe ich keine vernünftige Stelle in Wiki gefunden, wohin die notwendigen Links für "freie Variable", "elementare Formel" führen können. (nicht signierter Beitrag von Mini-floh (Diskussion | Beiträge) 09:27, 30. Jan. 2012 (CET)
thread_title:  I S T immer noch falsch formuliert? 

message: Der Artikel wurde offensichtlich von einem Fan von IST verfasst, was nicht schlecht ist. Allerdings fehlt dadurch jede Problematisierung. Man sollte (wenigstes) so viel über den finitistischen Ansatz von Nelson erfahren, wie in der englischen Version und auch über die Probleme, die mit dem Ansatz verbunden sind. 
Wichtig ist logisch, dass es sich um eine (konservative) Erweiterung von ZFC handelt. Um dies und die Konsistenz von IST zu beweisen, braucht man natürlich ein entsprechendes Modell der Mengenlehre, d.h. Modelltheorie kommt wieder zum Vorschein. Die Probleme, die hier sonst entstehen, werden wohl etwas leichtfertig übersehen, weil sie immer im Begriff standard verschwinden.
Schließlich war eine der Hauptideen der Nonstandard-Analysis, dass man zeigen wollte, dass das Reden von Newton, Leibniz und ihren Zeitgenossen über unendlich klein, unendlich gross etc. in eine mathematisch präzise, konsistente Form gebracht werden kann. Dieser Anspruch wird aber hier ausdrücklich nicht erhoben!
--Mini-floh 09:27, 30. Jan. 2012 (CET)
thread_title:  Erläuterungen fehlen 

message: Im Englischen gibt es standard als Adjektiv, aber im Deutschen ist standard ungewöhnlich (wenngleich von Michael M. Richter und Guido Walz tatsächlich verwendet). Wie wäre es denn mit ist Standardmenge oder ist standardmäßig statt ist standard? -- IvanP (Diskussion) 20:10, 1. Aug. 2019 (CEST)
thread_title:  Übersetzung von ''standard''