[ATHENA] [Rappel] Intuitionism, Computation, and Proof - 10 et 11 Juin, Paris

["Peggy Tessier" (peggy.tessier AT univ-paris1.fr via athena Mailing List) <athena AT services.cnrs.fr>]

Chères et chers collègues,

Nous avons le plaisir de vous inviter à la conférence « Intuitionism,  
Computation, and Proof: Selected themes from the research of G.  
Kreisel » qui aura lieu le 10 et 11 Juin à Paris. Veuillez trouver  
ci-dessous le descriptif de la conférence, ainsi que le programme.


*Intuitionism, Computation, and Proof: Selected themes from the  
research of G. Kreisel*
10-11 June, 2016, IHPST - Paris

This workshop will critically explore Georg Kreisel's seminal  
contributions to logic and the philosophy of mathematics, by bringing  
together a number of experts to discuss developments initiated or  
significantly advanced by Kreisel's work in different areas. The  
discussion will revolve around three main topics: the "unwinding  
program" in proof theory, new insights about intuitionism and finitism  
in the foundations of mathematics, and Church's thesis and informal  
rigor in computability and philosophy of mathematics. The workshop is  
funded by the ANR-DFG project "BEYOND LOGIC: Hypothetical Reasoning in  
Philosophy of Science, Informatics, and Law"  
(http://ls.informatik.uni-tuebingen.de/bl/project.html).


*Program*

FRIDAY 10th June, 2016


09.00 - 9.30 - Welcome and coffee

09.30 - 09.50 - Introduction

09.50 - 11.20 - Opening Lecture: Dana Scott (Carnegie Mellon  
University) - Types and Type-free Lambda-Calculus

11.20 - 12.30 - Walter Dean (University of Warwick) - Kreisel, the  
Liar, and the Arithmetized Completeness Theorem

12:30 - 14:00 - Lunch break


INTUITIONISM & CONSTRUCTIVE NOTIONS OF PROOF

14.10 - 15.20 - David Charles McCarty (University of Indiana) -  
Incompleteness and Informal Rigour

15.20 - 16.30 - Joan Rand Moschovakis (Occidental College) - Markov's  
Rule, Markov's Principle and the Notion of Constructive Proof

16.30 - 17.00 - Coffee break

17.00 - 18.10 - Mark van Atten (CNRS) - On Two Problems with the  
Theory of the Creating Subject

18.10 - 19.20 - Annika Siders (University of Helsinki) - From  
Consistency Reductions to Normalisation


********************************************


SATURDAY 11th June, 2016


UNWINDING OF PROOFS

09.00 - 10.10 - Reinhard Kahle (Universidade Nova de Lisboa) -  
Hilbert's Programme and Georg Kreisel

10.10 - 11.20 - Ulrich Kohlenbach (Technische Universität Darmstadt) -  
 From Kreisel's 'Unwinding of Proofs' to the Program of 'Proof Mining'

11.20 - 11.40 - Coffee break

11.40 - 12.50 - Angus Macintyre (Queen Mary University of London) -  
Examples of Unwinding in Kreisel Style

13:00 - 14:30 - Lunch break


PHILOSOPHY OF MATHEMATICS

14.30 - 15.40 - Daniel Isaacson (University of Oxford) - Kreisel's  
Philosophy of Mathematics

15.40 - 16.50 - Michael Detlefsen (University of Notre Dame) - Kreisel  
on Formalism

16.50 - 17.10 - Coffee break

17.10 - 18.30 - Closing Lecture: Göran Sundholm (University of Leiden)  
- Constructivist Options: Kreiselian Choices of Formal Systems


The abstracts can be found on the website of the conference:
http://www.ihpst.cnrs.fr/en/activites/conferences/colloque-intuitionism-computation-and-proof-selected-themes-research-g-kreisel


*Conference venue*

Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)
Salle de conférences
13, rue du Four
75006 Paris
http://www.ihpst.cnrs.fr/


Attending the workshop is free, but since space is limited we ask  
participants to register by sending an email to  
mattia.petrolo AT univ-paris1.fr.

To enquire about the workshop, please contact the organizers at
marianna.antonutti AT gmail.com and mattia.petrolo AT univ-paris1.fr.


Best wishes,

Marianna Antonutti Marfori
University of Salzburg (Austria) and Institut d'Histoire et de  
Philosophie des Sciences et des Techniques (Paris, France)

Mattia Petrolo
Institut d'Histoire et de Philosophie des Sciences et des Techniques,
CNRS/ENS/Université Paris 1 Panthéon-Sorbonne (France)