Philosophy of sciences papers

 

. = en français . = in English

 

. Liberté, volonté, aléa, le 24 avril 2017, au Séminaire Philosophie et Mathématique.
. 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.
. Sciences, langages et langues talk at the seminar Qu'est ce que l'homme ? L'homme et la pensée at the CRDP of Grenoble, February, 13th 2013.
. Une démonstration est-elle une explication ?, 2013.
. Enseigner les sciences au XXIe siècle, 2012.
. Les quatre concepts de l'informatique, Didapro, 2011.
. Une deuxième révolution galiléenne ? . A second Galilean revolution?, 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.
. Les règles de déduction définissent-elles la signification de chaque constante logique de manière indépendante ?
. Le sens du calcul, exposé au séminaire Qu'est-ce qu'une logique ?, La Sorbonne, le 9 Avril 1996.
back to home page