Article
Hermann Weyl et Federigo Enriques : philosophie et mathématiques
[s.n.]
Dans Albert Einstein et Hermann Weyl (1955-2005) - 2010
Article
Théorie quantique faible : cadre formel et applications
Harald ATMANSPACHER
Dans Théorie quantique et sciences humaines - 2009
Article
Tentations, succès et perspectives du formalisme en mathématiques au XXe siècle
Claude BARDOS
Dans Le formalisme en action - 2013
Article
Les normes comme propriétés émergentes d’un apprentissage adaptatif. Le cas des routines économiques
Andrea BASSANINI
Dans Les Limites de la rationalité - 1997
Article
Vers un démonstrateur adaptatif
Catherine BELLEANNÉE
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Collectif
Le formalisme en action : Aspects mathématiques et philosophiques
Sous la direction de Jocelyn BENOIST
Hermann - 2013
Monographie
Philosophie et logique
Mario CASTELLANA
Presses de l’Université Paris-Sorbonne - 2009
Monographie
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
Dans Cahiers critiques de la philosophie - 2007
Monographie
Écrits logiques et philosophiques
Gottlob FREGE
Seuil - 1994
Article
Le raisonnement historique à l’épreuve de l’IA
Jean-Claude GARDIN
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Monographie
Pensée formelle et sciences de l'homme
Gilles-Gaston GRANGER
Aubier (Montaigne) - 1960
Monographie
Pensée formelle et sciences de l’homme
Gilles-Gaston GRANGER
Aubier (Montaigne) - 1975
Monographie
Why is There Philosophy of Mathematics At All ?
Ian HACKING
Cambridge University Press - 2014
Monographie
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
