Gentzen Centenary

The Quest of Consistency

12 September 2009, Coimbra, Portugal

Workshop associated to Computer Science Logic 2009

Gerhard Gentzen
24 November 1909--4 August 1945

Invited Speakers:

Michael Detlefsen, Notre Dame, USA: Freedom and Consistency
Michael Rathjen, Leeds, UK: Hilbert's second problem revisited


9:00 Introduction: Reinhard Kahle: The Quest of Consistency
9:45 Invited Talk: Michael Detlefsen: Freedom and Consistency
10:45 Coffee Break
11:15 Contributed Talk: Annika Kanckos: A Direct Gentzen-style Consistency Proof for Heyting Arithmetic
12:00 Lunch
14:00 Invited Talk: Michael Rathjen: Hilbert's second problem revisited
15:00 Contributed Talk: Fernando Ferreira: Musings on the consistency proofs of Gödel and Spector
15:45 Coffee Break
16:15 Contributed Talk: Paulo Oliva: Spector's bar recursion as an infinite product of (generalised) quantifiers
16:45 Closing: Matthias Baaz: Reasoning in the presence of formal contradictions


The workshop is organized by Matthias Baaz, Vienna, Austria, and Reinhard Kahle, Lisbon, Portugal, with support of the Kurt-Gödel-Society and the FCT funded DiFoS project within the ESF programme LogICCC (LOGICCC/0001/2007). It is associated with the 18th EACSL Annual Conference on Computer Science Logic, CSL 2009.
Reinhard Kahle, 9.09.09