Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Gentzen Centenary
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
Programme
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