Philosophy of sciences

. = en français . = in English

Books

. Les méetamorphoses du calcul. G. Dowek, Les métamorphoses du calcul : une étonnante histoire de mathématiques, Le Pommier, Essais, (2007). Grand prix de philosophie de l'Académie Française. Le deux premiers chapitres sont en ligne sur le site Futura sciences, le reste est disponible sur amazon.fr et fnac.com. Ce podcast de 25mn sur Canal Académie présente le livre.

Three short papers on the physical Church Thesis

. G. Dowek, The logical analysis of physical phenomena, manuscript (2008).
. G. Dowek, Non determinisitic computation over the real numbers, talk given at the seminar La thèse de Church : hier, aujourd'hui, demain, Avril 11th, 2008 and at the NKS Midwest conference: What is Computation? How does Nature Compute?, October, 31th, 2008.
. . G. Dowek, La forme physique de la thèse de Church et la sensibilité aux conditions initiales (à paraître). In English: The physical Church thesis and the sensitivity to initial conditions.

Other papers

. Comment les notions premières sont-elles définies dans les mathématiques anciennes ? Exposé au Séminaire commun CHSPAM – REHSEIS de SPHERE Histoire et Philosophie des mathématiques, le 2 février 2010.
. G. Dowek, From proof theory to theories theory, Philosophy of the Information and Computing Sciences, Lorentz center, February 12th, 2010.
. G. Dowek, La notion de modèle supose-t-elle une conception réaliste de de la vérité mathématique ?, J.-B. Joinet, Logique, dynamique et cognition, col. "Logique, langage, sciences, philosophie", Publications de la Sorbonne, 2007.
. G. Dowek, La théorie des types et les systèmes informatiques de traitement des démonstrations mathématiques, Mathématiques et Sciences Humaines, 165, 2004, pp. 13-29.
. G. Dowek, Gödel's system T as a precursor of modern type theory, talk given at the meeting Modern Type Theory, Institut d'Histoire et de Philosophie des Sciences et des Techniques, March 24th and 25th, 2006.
. G. Dowek, À propos de quelques démonstrations pas très convaincantes, exposé au séminaire Philosophie et Mathématiques, le 28 mai 2001.
. G. Dowek, Le sens du calcul, exposé au séminaire Qu'est-ce qu'une logique ?, La Sorbonne, le 9 Avril 1996.
. G. Dowek, Sur l'existence de Dieu et l'inexistence des licornes (manuscript).

Talks

. La vidéo de mon exposé Preuve et calcul, des rapports intimes dans le cours de Gérard Berry au Collège de France et les transparents de cet exposé.
. La vidéo de mon exposé La thèse de Church et la déraisonnable efficacité des mathématiques dans les sciences de la nature au Colloquium Jacques Morgenstern et les transparents de cet exposé.
back to home page