Provisional Programme
Monday, 24.07.2017
15:00 - 17:00
Chair: 17:00 - 17:30 17:30 - 18:15 18:15 - 19:00 19:00 - |
Arrival and Registration
P. Schuster E. Aufderheide (Secretary General): A diplomacy of trust in the European crisis: contributions of the Alexander von Humboldt Foundation S. Centrone Proof theory as a branch of Mathesis Universalis D. Føllesdal (Humboldt Research Award) Proof theory and Mathesis Universalis in E. Husserl Aperitivo/Dinner |
Tuesday, 25.07.2017
7:00 - 8:00
Chair: 8:30 - 9:30 9:30 - 10:30 10:30 - 11:00 11:00 - 12:00 12:00 - 13:00 13:00 - 15:00 Chair: 15:00 - 16:00 16:00 - 17:00 17:00 - 17:30 17:30 - 18:30 18:30 - 19:30 20:00 - |
Breakfast
G. Link G. Jäger Kripke-Platek and Friends D. Prawitz The concepts proof and ground break K. Mainzer From Mathesis Universalis to Provability, Computability and Complexity J. von Plato Rosa Politzer and the beginnings of the theory of computable functions lunch P. Minari L. Crosilla Why predicativity? J. Berger Convexity and minimum points break T. Powell: Gödel’s functional interpretation and the extraction of imperative programs from proof R. Bruni Addressing circular definitions via systems of proof dinner |
Wednesday, 26.07.2017
7:00 - 8:00
Chair: 8:00 - 9:00 9:00 - 10:00 10:00 - 10:30 10:30 - 11:30 11:30 - 12:30 12:30 - 13:30 .... 13:30 -15:30 15:30 - 20:00 20:30 - |
Breakfast
S. Negri G. Link Objectivity and Truth in Russell, Gödel, and Beyond G. Sundholm: Mathesis Universalis at work: Heinrich Scholz and the Tension between Platonism and Constructivism break P. Aczel A Framework for the Conceptual Foundations of Mathematics R. Giuntini Fuzzy and quantum degrees of truth H. Ishihara Reverse mathematics in intuitionistic theory lunch Free time dinner |
Thursday, 27.07.2017
7:00 - 8:00
Chair: 8:30 - 9:30 9:30 - 10:30 10:30 - 11:00 11:00 - 12:00 12:00 - 13:00 13:00 - 15:00 Chair: 15:00 - 16:00 16:00 - 17:00 17:00 - 17:30 17:30 - 18:30 18:30 - 19:30 20:00 - |
Breakfast
R. Bruni H. Schwichtenberg Invariance axioms for realizability S. Schulz Induction and Deduction break V. Peckhaus Mathesis Universalis in the algebra of logic J. Webb Intuition, Rigor, and Optimism in Hilbert’s Mathematical Philosophy lunch R. Giuntini M. Baaz On the benefit of unsound rules U. Berger Concurrency and Constructive Mathematics break F. Fraisopi Forms and Perspective of the Mathesis Universalis R. Kuznets Through an Inference Rule, Darkly dinner |
Friday, 28.07.2017
7:00 - 8:00
Chair: 8:30 - 9:30 9:30 - 10:30 10:30 - 11:00 11:00 - 12:00 12:00 - 13:00 13:00 - |
Breakfast
G. Jäger W. Buchholz A note on (meta)predicative wellordering proofs W. Pohlers The limits of predicativity revisited break F. Aschieri Intermediate Logics: from Natural Deduction to Parallel Computation S. Awodey Impredicativity in Homotopy Type Theory Packed lunch. |