Center for Advanced Studies LMU (CAS)
print

Links und Funktionen
Sprachumschaltung

Navigationspfad


Inhaltsbereich

Computational Approaches to the Foundations of Mathematics

Internationaler Workshop unter Leitung von Sam Sanders, Ph.D.(Postdoc-Fellow MUG/CAS), Prof. Dr. Peter Schuster (University of Verona), Prof. Dr. Helmut Schwichtenberg (LMU).

11.04.2018 – 13.04.2018

To the outside world, mathematics stands out amongst the exact sciences due to its reliability, timelessness, and absolute correctness. Closer inspection reveals an ongoing quest for the (ultimate) foundations of mathematics with a number of competing views (constructive mathematics, type theory, reverse mathematics, formalised mathematics). The aim of this workshop is to bring people from these various backgrounds together to create progress relating to the ‘computational’ aspects of the foundations of mathematics.

Teilnehmer sind u.a.: Douglas Cenzer (University of Florida), Michael Rathjen (Leeds), Silvia Steila (Bern).

Abendvortrag am 11. April um 18 Uhr c.t.:

Prof. Dr. Matthias Baaz – "The Concept of Proof"

Matthias Baaz ist Professor für Mathematische Logik am Institut für Diskrete Mathematik und Geometrie an der TU Wien.

Ort und Anmeldung

Abendvortrag: CAS, Seestraße 13, 80802 München

Workshop: Mathematisches Institut, Theresienstr. 39 // Raum B349, 80333 München

Für die Teilnahme ist eine Anmeldung erforderlich. Wenn Sie Interesse an unserer Veranstaltung haben, bitten wir Sie sich mit uns in Verbindung zu setzen:
E-Mail.

Downloads