Internationaler Workshop

Internationaler Workshop

Trends in Proof Theory


In ideal continuation of the Humboldt Kolleg "Proof" - Bern 2013


Some Pictures

HAMBURG, 20 - 21 September 2015

Hauptgebäude der Universität Hamburg

Emil-Artin-Hoersaal (Hoersaal M)

Edmund-Siemers-Allee 1, 20146 Hamburg


Satellite-Workshop for the annual Conference of the German Association of Mathematicians (DMV) 2015


PD Dr. Stefania Centrone (DFG Eigene Stelle) in cooperation with DVMLG 

Invited Speakers and Guests


Sonntag, 20.09.2015

Chair: A. Cantini

09:15-10:00   H. Schwichtenberg, Logic for Real Number Computation

10:00-10:45   U. Petersen, On Levels of Induction in a Contraction Free Logic with Unrestricted Abstraction

10:45-11:00   Pause


11:00-11:45   S. Negri, On Neighbourhood Semantics and Sequent Calculus

11:45-12:30   L. Crosilla, Philosophy of Mathematics and Proof Theory: Some Thoughts


12:30-14:30   Mittagspause


Chair: S. Negri 

14:30-15:15   M. Siebel, A Critique of a Recent Contribution to the Logic of Explanatory Proofs

15:15-16:00   G. Sundholm, Assumption versus Lemma


16:00-16:30   Pause


16:30-17:15   V. Peckhaus, The Notion of Proof in the Early Algebra of Logic

17:15-18:00   D. Føllesdal, The Role of Mathematics and Science in Bildung


Montag, 21.09.2015

Chair: H. Ishihara

09:15-10:00   P. Schuster, Eliminating Disjunctions by Disjunction Eliminations (joint work with D. Rinaldi)

10:00-10:45   M. Okada, Husserlian Notion of Manifold as Proof-Rewrite Networks and its Extension


10:45-11:00   Pause


11:00-11:45   T. Strahm, A Feferman-style Type System for the Small Veblen Ordinal  

11:45-12:30   M. Benini, Proof-Theoretic Semantics: Point-free Meaning of First-Order Systems


12:30-14:00   Mittagspause


Chair: P. Minari

14:00-14:45   D. Probst, Modular Ordinal Analysis of Subsystems of Second Order Arithmetic of Strength up to ID_1

14:45-15:30   G. Jäger, Recent Developments in Operational Set Theory.

(Stand: 20.04.2022)