Article
Hermann Weyl et Federigo Enriques : philosophie et mathématiques
[s.n.]
In Albert Einstein et Hermann Weyl (1955-2005) - 2010
Article
Théorie quantique faible : cadre formel et applications
Harald ATMANSPACHER
In Théorie quantique et sciences humaines - 2009
Article
Tentations, succès et perspectives du formalisme en mathématiques au XXe siècle
Claude BARDOS
In Le formalisme en action - 2013
Article
Les normes comme propriétés émergentes d’un apprentissage adaptatif. Le cas des routines économiques
Andrea BASSANINI
In Les Limites de la rationalité - 1997
Article
Vers un démonstrateur adaptatif
Catherine BELLEANNÉE
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Edited volume
Le formalisme en action : Aspects mathématiques et philosophiques
Edited by Jocelyn BENOIST
Hermann - 2013
Monograph
Philosophie et logique
Mario CASTELLANA
Presses de l’Université Paris-Sorbonne - 2009
Monograph
Fondements des mathématiques
Michel COMBÈS
Presses Universitaires de France - 1971
Article
Une “logique de la physique” ? Sur les propriétés formelles de l’énoncé d’une mesure quantique
Giovanni DOSI, Thomas FILK
In Cahiers critiques de la philosophie - 2007
Monograph
Écrits logiques et philosophiques
Gottlob FREGE
Seuil - 1994
Article
Le raisonnement historique à l’épreuve de l’IA
Jean-Claude GARDIN
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Monograph
Pensée formelle et sciences de l’homme
Gilles-Gaston GRANGER
Aubier (Montaigne) - 1975
Monograph
Pensée formelle et sciences de l'homme
Gilles-Gaston GRANGER
Aubier (Montaigne) - 1960
Monograph
Why is There Philosophy of Mathematics At All ?
Ian HACKING
Cambridge University Press - 2014
Monograph
Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration
Arend HEYTING, C’H Raoul VOR, Monique RENAUD, et al.
Gauthier-Villars - 1955
