Le colloque se tiendra 4 rue Alice Domon et Léonie Duquet, 75013 Paris Salle Luce Valentin, n°454 A (Bâtiment Condorcet).
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.
"Optimality, adaptationism, "Formal Darwinism" and the interpretations of Fisher's fundamental theorem of natural selection in evolutionary biology"
The aim of the conference is to shed new light on epistemological issues related to knowledge representation.
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 Society, Universidad del Pais Vasco