Philosophy of sciences papers

 

. = en français . = in English

 

. La dynamique des noms propres, 2024.
. Explanation: from ethics to logic, Annals of the Japan Association for Philosophy of Science, 32, 2023, pp. 1-16. (Replaces, Une démonstration est-elle une explication ?, Rochebrune, 2013.)
. Un objet informatique a-t-il une éthique ? in É. Germain, C. Kirchner, C. Tessier, Une éthique du numérique : pour quoi faire, Puf, 2022.
. Sommes-nous plus libres parce que le monde va au hasard? in Pourquoi moi? Le hasard dans tous ses états, Belin, 2021. A previous version: Two consequences of the hypothesis that we are within the world, Experiencing reality directly, Jerusalem, 2019. A previous version Liberté, volonté, aléa was presented in 2017 at the Séminaire Philosophie et Mathématique.
. Éthique et informatique : les leçons d'une pandémie, Polethis 3, 2021.
. With François Thiré, The universality of mathematical truth jeopardized by the development of computerized proof systems, 2020.
. Les réseaux condition nécessaire du confinement et nouvel outil de santé publique, dans E. Hirsch, Pandémie 2020, Les éditions du Cerf, 2020.
. How the physical Church-Turing thesis changed the concept of machine, PROGRAMme worshop 1: machines, 2019.
. Instinct, language, and artificial intelligence, May 16th 2019, at the Conference on Robotics, AI, and Humanity, Science, Ethics, and Policy, Pontifical Academy of Sciences and Pontifical Academy of Social Sciences.
. Teaching Gödel's incompleteness theorems, 2017.
. On truth judgements in informatics talk at at the session of History and Philosophy of Computing of the Congress on Logic, Methodology, and Philosophy of Science, 2015.
. Les origines de l'informatique, Les cahiers philosophiques, 141, 2, 2015, p. 7-15.
. La notion de nombre réel : une solution simplexe ?, sous la direction de Alain Berthoz et Jean-Luc Petit, Complexité-Simplexité, Collège de France, 2014.
. Informatics in the classification of sciences, 2nd International Conference on the History and Philosophy of Computing, October 28-31, 2013, Paris, France.
. Enseigner les sciences au XXIe siècle, 2012.
. Les quatre concepts de l'informatique, Didapro, 2011.
. A second Galilean revolution? (Une deuxième révolution galiléenne ?), 2010.
. Les mondes possibles et les mondes multiples, exposé au séminaire Philosophie et Mathématiques, le 12 avril 2010.
. 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.
. From proof theory to theories theory, Philosophy of the Information and Computing Sciences, Lorentz center, February 12th, 2010.
. 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.
. Sur l'existence de Dieu et l'inexistence des licornes (manuscript), 2007.
. 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.
. 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.
. À propos de quelques démonstrations pas très convaincantes, exposé au séminaire Philosophie et Mathématiques, le 28 mai 2001.
. Le langage mathématique et les langages de programmation, Voir, Entendre, Raisonner, Calculer Cité des sciences et de l'industrie, 1997.
. Le sens du calcul, exposé au séminaire Qu'est-ce qu'une logique ?, La Sorbonne, le 9 Avril 1996.
back to home page