5-9 July 2021
Virtual and Nuertingen, Germany
Celebrating 90 Years of Gdel's Incompleteness Theorems The conference is a hybrid event, taking place online and on site in Nrt ingen (Germany) from 5 to 9 July 2021. The topics of the conference comprise all areas of logic relating in a narrower or wider sense to Gdel's incompleteness results. This includes the history of logic, proof theory, philosophy of mathematics, aspects of incompleteness in computer science and others. The conference is organised as a collection of workshops for these specific topics. For the programme see https://uni-tuebingen.de/en/212629 If you would like to participate online, please write to events.cfvwz@listserv.uni-tuebingen.de to receive the Zoom link. The conference is organised by the Carl Friedrich von Weizscker Center, the Kurt Gdel Society and by the ERC-funded project "Gdel Enigma: Re discov ering Kurt Gdel through his unpublished works" headed by Jan vo n Plato. Program committee: Matthias Baaz, Reinhard Kahle, Thomas Piecha, Jan von Pl ato -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam