Tuesday 21 June 2016 (All day), Wednesday 22 June 2016 (All day)

Le colloque se tiendra 4 rue Alice Domon et Léonie Duquet, 75013 Paris Salle Luce Valentin, n°454 A (Bâtiment Condorcet).

Friday 10 June 2016 - 09:00 to 19:00, Saturday 11 June 2016 - 09:00 to 19:00

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.

Friday 13 May 2016 - 09:00 to 16:00

"Optimality, adaptationism, "Formal Darwinism" and the interpretations of Fisher's fundamental theorem of natural selection in evolutionary biology"
 

Thursday 28 April 2016 (All day)

.

Friday 1 April 2016 - 09:30 to 18:30

The aim of the conference is to shed new light on epistemological issues related to knowledge representation.

Tuesday 29 March 2016 (All day), Wednesday 30 March 2016 (All day), Thursday 31 March 2016 (All day), Friday 1 April 2016 (All day)

.

Tuesday 29 March 2016 (All day), Wednesday 30 March 2016 (All day), Thursday 31 March 2016 (All day), Friday 1 April 2016 (All day)

Version française

With the support of :
Centre National de la Recherche Scientifique
Université Paris 1 Panthéon-Sorbonne Institut d’Histoire et de Philosophie des Sciences et des Techniques  (IHPST)
IAS Research Centre for Life, Mind and SocietyUniversidad del Pais Vasco

Pages