Department Mathematik
print


Navigationspfad


Inhaltsbereich

Mathematisches Kolloquium


Am Freitag, 20. Mai 2011, um 16 Uhr c.t. spricht

Prof. Dr. Steve Awodey
(Carnegie Mellon University
Pittsburgh
)

im Hörsaal A027 über das Thema

Homotopical Logic

Zusammenfassung: Quite recently, it was discovered that there is a close connection between a certain systems of constructive logic and homotopy theory. The systems in question are used as the basis of automated proof assistants, leading to the possibility of computer verified proofs in homotopy theory. Homotopical intuition and problems also suggest novel extensions of the logical system. In this way, a cross-fertilization of these two formerly unrelated areas of mathematics -- constructive logic and algebraic topology -- is already beginning to take place. This talk will survey some of these very recent developments.
Alle Interessierten sind hiermit herzlich eingeladen. Eine halbe Stunde vor dem Vortrag gibt es Kaffee und Tee im Sozialraum (Raum 448) im 4. Stock.
Treffpunkt zum Abendessen um 18.00 Uhr wird noch bekannt gegeben.