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