Brève note sur l’intuitionnisme de Brouwer
Jean LARGEAULT
Dans Revue philosophique de la France et de l’étranger - 1992
Écrits logiques et philosophiques
Gottlob FREGE
Seuil - 1994
Fondements des mathématiques
Michel COMBÈS
Presses Universitaires de France - 1971
Formalisme et intuitionnisme en philosophie des mathématiques
Jean LARGEAULT
Dans Revue philosophique de la France et de l’étranger - 1990
Hermann Weyl et Federigo Enriques : philosophie et mathématiques
Mario CASTELLANA
Dans Albert Einstein et Hermann Weyl (1955-2005) - 2010
Intelligence des mécanismes, mécanismes de l'intelligence : Intelligence artificielle et sciences de la cognition
Sous la direction de Jean-Louis LE MOIGNE
Fayard - 1986
La Pensée de Gilles-Gaston Granger
Sous la direction de Antonia SOULEZ, Arley R. MORENO
Hermann - 2010
Le formalisme en action : Aspects mathématiques et philosophiques
Sous la direction de Jocelyn BENOIST, Thierry PAUL
Hermann - 2013
Le lien de la pensée formelle à la science
Antoine RUSCIO
Dans La Pensée de Gilles-Gaston Granger - 2010
Le raisonnement historique à l’épreuve de l’IA
Jean-Claude GARDIN, Monique RENAUD, Marie-Salomé LAGRANGE
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Le Théorème de Gödel
Ernest NAGEL, James R. NEWMAN, Kurt GÖDEL, et al.
Seuil - 1989
Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration
Arend HEYTING
Gauthier-Villars - 1955
Les normes comme propriétés émergentes d’un apprentissage adaptatif. Le cas des routines économiques
Giovanni DOSI, Luigi MARENGO, Andrea BASSANINI, et al.
Dans Les Limites de la rationalité - 1997
L’épistémologie française et le Cercle de Vienne : Louis Rougier
Jacques LAMBERT
Dans L’Épistémologie française, 1830-1970 - 2006
L’Idée de la raison dans les sciences et la philosophie contemporaine
Jean de LA HARPE
Secrétariat de l’Université de Neuchâtel - 1930