Werbung
 Übersetzung für 'axiomatische Mengenlehre' von Deutsch nach Italienisch
NOUN   die axiomatische Mengenlehre | -
mat.
teoria {f} assiomatica degli insiemi
axiomatische Mengenlehre {f}
mat.
teoria {f} degli insiemi
Mengenlehre {f}
2 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Anwendungsbeispiele Deutsch
  • Von ihm stammte der erste Versuch, eine axiomatische Mengenlehre mit uneingeschränktem Komprehensionsaxiom auf der Grundlage einer mehrwertigen Logik aufzubauen.
  • Gleichzeitig war er an der Universität Budapest eingeschrieben, absolvierte dort aber nur die Examina und promovierte dort 1926 mit einer Dissertation über axiomatische Mengenlehre.
  • Hrbacek ist mit Thomas Jech Verfasser eines Standardwerks über axiomatische Mengenlehre.
  • Krivine entwickelte ein Programm um dieses Konzept der "Realisierbarkeit" und wandte es in den 2000er Jahren auch auf die axiomatische Mengenlehre an, um neue Modelle der Zermelo Fraenkel Mengenlehre zu gewinnen, die nicht auf dem Forcing Konzept beruhen.
  • Zuvor studierte er ein Jahr an der University of California, Berkeley, bei Alfred Tarski und Dana Scott Modelltheorie und axiomatische Mengenlehre.

  • Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist.
  • Von Dedekind übernahm Ernst Zermelo das Extensionalitätsaxiom in die erste axiomatische Mengenlehre, die Zermelo-Mengenlehre von 1907.
  • Die Ackermann-Mengenlehre ist eine axiomatische Mengenlehre, die 1955 von Wilhelm Ackermann angegeben wurde. Er versuchte in ihr, Cantors Mengendefinition in ein präzises Axiomensystem umzusetzen.
  • Hierzu arbeitete er eine axiomatische Mengenlehre mit Klassen aus, die Urfassung der Neumann-Bernays-Gödel-Mengenlehre, die im Mengenbereich mit der Zermelo-Fraenkel-Mengenlehre (ZFC) übereinstimmt.
  • Als axiomatische Mengenlehre gilt jede Axiomatisierung der Mengenlehre, die die bekannten Antinomien der naiven Mengenlehre vermeidet.

  • Heute wird daher eine axiomatische Mengenlehre benutzt, meist die Zermelo-Fraenkel-Mengenlehre, teilweise auch eine allgemeinere Klassenlogik.
  • Das Konzept hat sich als fruchtbar für die axiomatische Mengenlehre erwiesen.
  • Die Zermelo-Mengenlehre ist die erste publizierte axiomatische Mengenlehre; sie stammt von Ernst Zermelo und ist datiert auf den 30.
Werbung
© dict.cc Italian-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!