Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Einführung in die axiomatische Mengenlehre

 

Aktuelles

  • Wer heute an der Einführung teilgenommen hat und weiter am Seminar teilnehmen möchte, geht bitte wie folgt vor:
    • Sie melden sich am Moodlekurs -- Einführung in die axiomatische Mengenlehre (SoSe 2021) -- an
    • Sie werfen einen intensiven Blick in das Buch "Einführung in die Mengenlehre" von Heinz-Dieter Ebbinghaus
    • Sie schreiben André Frochaux bis Montag, 3.Mai 2021, 15:00 Uhr eine e-mail, dass Sie weiterhin am Seminar und einem Thema interessiert sind.
    • Sie bleiben am 5. Mai nach dem Vortrag von Benjamin Scheidt im Seminar um das weitere Vorgehen abzusprechen
  • Krankheitsbedingt findet das erste Treffen online am 28. April 2021 statt. Die Zugangsdaten wurden per Mail an die Teilnehmer verschickt. Sollten Sie keine Mail erhalten haben, melden Sie sich bitte umgehend bei André Frochaux
  • Das erste Treffen findet online am 21. April 2021 statt. Weiter Infromationen finden sich hier in Kürze.

 

Allgemeines zum Seminar

Das Seminar findet im Rahmen des Mitarbeiterseminars der Arbeitsgruppe statt, d.h. es kann und wird zwischendurch auch Vorträge aus der Arbeitsgruppe zu aktuellen Themen geben, welche Teil des Seminars sind.

 

Termine

 

28. April 2021

 Erstes Treffen
5. Mai 2021 Benjamin Scheidt:
Der Weisfeiler-Leman Algorithmus und Logik erster Stufe mit Zählquantoren
12. Mai 2021 Yiyang Huang:
Das Zermelo-Fraenkelsche Axiomensystem I
19. Mai 2021 Maximilian Joecks:
Das Zermelo-Fraenkelsche Axiomensystem II
26. Mai 2021 Emil Junker:
Relationen und Funktionen
2. Juni 2021 dies academicus
9. Juni 2021 Dominik Bernhardt:
Natürliche Zahlen und Zahlenbereiche
16. Juni 2021 Leonid Antipov:
Fundierte Strukturen und Ordinalzahlen
23. Juni 2021 Mengyao Lu:
Rekursionn und Fundiertheit
30. Juni 2021 Albina Murtezaj:
Das Auswahlaxiom
7. Juli 2021 Maxim Nevkrytyh:
Mächtigkeiten
14. Juli 2021 Lucca Tiemens:
Das Universum als kumulative Hierachie

 

Materialien

  • Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre, Spektrum Akademischer Verlag; 4. Edition

 

Empfehlung:

  • Apostolos Doxiadis, Christos H. Papadimitriou: LOGICOMIX,Eine epische Suche nach Wahrheit; Atrium Verlag AG 2010
  • Bertrand Russel: Introduction to Mathematical Philosophy; Routledge, 1998