Conference for the 90 years of Gödel's Incompleteness Theorems, with a session on type theory tomorrow (Tuesday)

48 views
Skip to first unread message

Benedikt Ahrens

unread,
Jul 5, 2021, 3:36:38 PM7/5/21
to homotopyt...@googlegroups.com
This week (5-9 July) is taking place a conference to celebrate 90 years
of the publication of Gödel's Incompleteness Theorems.
https://uni-tuebingen.de/en/einrichtungen/zentrale-einrichtungen/carl-friedrich-von-weizsaecker-zentrum/veranstaltungen/celebrating-90-years-of-goedels-incompleteness-theorems/

The conference is composed by a series of workshop:
- 5.7. Monday afternoon: Opening. Higher proof theory after Gödel
- 6.7. Tuesday morning: Type theory in type theory
- 6.7. Tuesday afternoon: Computation in face of incompleteness
- 7.7. Wednesday morning: Cut-elimination and Herbrand's Theorem
- 7.7. Wednesday afternoon: Provability predicates
- 8.7. Thursday morning: Diagonalisation
- 8.7. Thursday afternoon: Recursion-theoretic approaches to computation
and complexity
- 9.7. Friday morning: Philosophy of mathematics after Gödel
- 9.7. Friday afternoon: Aspects of Gödel's unpublished work; Closing
Lecture by Jan von Plato

If you would like to participate online, please write to Marcel Ertel
events...@listserv.uni-tuebingen.de to receive the Zoom link.
Reply all
Reply to author
Forward
0 new messages