Bereich Mathematische Logik und
interdisziplinäre Anwendungen der Logik

Mitglieder – Members

• Dr. Bernhard Fisseni (wissenschaftlicher Mitarbeiter)
• Karl Heuer (studentische Hilfskraft)
• Prof. Dr. Benedikt Löwe (Leiter)
• Deniz Sarikaya (studentische Hilfskraft)
• Mira Viehstädt (studentische Hilfskraft)

Forschungsprojekte – Research projects

Veranstaltungen – Events

• 16. September 2012. Vorstellung des Theaterstücks Breaking the Code von Hugh Whitemore im Lichthof Theater (Mendelssohnstraße 15b, 20:00) als Teil der Tournee der University Players Hamburg.
• 28. November 2012. Dokumentarfilmvorführung des Films Codebreaker im Großen Kino des Abaton-Kinos, Allende-Platz 3.
• 8.–10. März 2013. Seminar Formale Ansätze in der Erzählforschung.
• 4.–6. August 2013. Workshop Computational Models of Narrative 2013.

Lehre – Teaching

• Sommersemester 2012.
  Proseminar Mengenlehre (Löwe)
  Blockseminar 18., 25., und 26. August 2012
• Wintersemester 2012/13.
  • Vorlesung Berechenbarkeitstheorie (Löwe)
    Dienstag 18–20 (Geom H6), Donnerstag 12–14 (Geom H3)
    Übungen zur Berechenbarkeitstheorie: Donnerstag 14–16 (Geom 241)
  • Seminar Philosophie der Mathematik (Löwe)
    Dienstag 16–18 (Geom 434)
• Sommersemester 2013.
  • Proseminar Grundbegriffe der mathematischen Logik und Modelltheorie (Löwe)
    Blockseminar im Juli oder August 2013