Logik

Hier finden Sie die Links und Quellenangaben aus der Broschüre Themen und Trends der Mathematik zum Thema „Logik“.

Zu diesem Thema gibt es auch ein Poster als .pdf zum Herunterladen:

• deutsch (1,2MB)
• dansk (1,2MB)

Zum Weiterlesen

1. Wolfgang Rautenberg: Einführung in die mathematische Logik. Ein Lehrbuch. / A Concise Introduction to Mathematical Logic. Vieweg / Springer (2001/2006).
2. Thomas Jech: Set Theory: The Third Millennium Edition, revised and expanded. Springer (2002).
3. Kenneth Kunen: Set Theory. An Introduction To Independence Proofs. North Holland (1983).
4. Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre. 4. Auflage. Heidelberg: Spektrum Akademischer Verlag (2003).

Weblinks

1. https://de.wikipedia.org/wiki/Berry-Paradoxon
   https://en.wikipedia.org/wiki/Berry_paradox
2. https://da.wikipedia.org/wiki/Formelt_sprog
   https://de.wikipedia.org/wiki/Formale_Sprache
   https://en.wikipedia.org/wiki/Formal_language
   
3. https://da.wikipedia.org/wiki/Aksiom
   https://de.wikipedia.org/wiki/Axiom
   https://en.wikipedia.org/wiki/Axiom
4. https://da.wikipedia.org/wiki/Zermelo-Fraenkels_aksiomer
   https://de.wikipedia.org/wiki/Zermelo-Fraenkel-Mengenlehre
   https://en.wikipedia.org/wiki/Zermelo-Fraenkel_set_theory
5. https://da.wikipedia.org/wiki/Hilberts_problemer
   https://de.wikipedia.org/wiki/Hilbertsche_Probleme
   https://en.wikipedia.org/wiki/Hilbert's_problems
6. https://da.wikipedia.org/wiki/Peanos_aksiomer
   https://de.wikipedia.org/wiki/Peano-Axiome
   https://en.wikipedia.org/wiki/Peano_axioms
7. https://de.wikipedia.org/wiki/Gödelscher_Unvollständigkeitssatz
   https://en.wikipedia.org/wiki/Goedel's_incompleteness_theorems
8. https://de.wikipedia.org/wiki/Gödelscher_Vollständigkeitssatz
   https://en.wikipedia.org/wiki/Goedel's_completeness_theorem
9. https://en.wikipedia.org/wiki/Constructible_universe
10. https://de.wikipedia.org/wiki/Forcing
    https://en.wikipedia.org/wiki/Forcing_(mathematics)
    

Mathematische Artikel

1. Juliet Floyd, Akihiro Kanamori: How Gödel Transformed Set Theory. Notices of the American Mathematical Society. Vol. 53, Nr. 4 (2006), S. 419–427.
2. Paul J. Cohen: The Independence of the Continuum Hypothesis. Proceedings of the National Academy of Sciences of the United States of America, Vol. 50, Nr. 6 (1963), S. 1143–1148.
3. Paul J. Cohen: The Independence of the Continuum Hypothesis, II. Proceedings of the National Academy of Sciences of the United States of America, Vol. 51, Nr. 1 (1964), S. 105–110.
4. Paul J. Cohen: The Discovery of Forcing. Rocky Mountain Journal of Mathematics, Vol. 32, Nr. 4 (2002), S. 1071–1100.