Workshop: Intuitionism, Computation, and Proof: Kreisel, Paris


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 generously 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).


Invited speakers

Mark van Atten (CNRS)
Walter Dean (University of Warwick)
Michael Detlefsen (University of Notre Dame)
Daniel Isaacson (University of Oxford)
Reinhard Kahle (Universidade Nova de Lisboa)
Ulrich Kohlenbach (University of Darmstadt)
Jean-Louis Krivine (Université Paris Diderot, CNRS)
Angus Macintyre (Queen Mary University of London)
David McCarty (University of Indiana)
Joan Rand Moschovakis (Occidental College)
Dana Scott (Carnegie Mellon University)
Annika Siders (University of Helsinki)
Göran Sundholm (University of Leiden)

Organizers

Marianna Antonutti Marfori (IHPST, University of Salzburg)
Mattia Petrolo (IHPST)

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@univ-paris1.fr.

The conference programme will be available in due course on the conference webpage: http://www.ihpst.cnrs.fr/en/activites/conferences/intuitionism-computation-and-proof-selected-themes-research-g-kreisel.

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

Reply · Report Post