Article
Vers un démonstrateur adaptatif
C’H Raoul VOR
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Article
Les normes comme propriétés émergentes d’un apprentissage adaptatif. Le cas des routines économiques
Marco VALENTE
Dans Les Limites de la rationalité - 1997
Article
Théorie quantique faible : cadre formel et applications
Hartmann RÖMER
Dans Théorie quantique et sciences humaines - 2009
Article
Le raisonnement historique à l’épreuve de l’IA
Monique RENAUD
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 Luigi MARENGO, Marie-Salomé LAGRANGE, Thierry PAUL
Hermann - 2013
Monographie
Écrits logiques et philosophiques
Giovanni DOSI, Thomas FILK
Seuil - 1994
Article
Une “logique de la physique” ? Sur les propriétés formelles de l’énoncé d’une mesure quantique
Jacques CROIZER
Dans Cahiers critiques de la philosophie - 2007
Monographie
Fondements des mathématiques
Michel COMBÈS
Presses Universitaires de France - 1971
Monographie
Philosophie et logique
[s.n.]
Presses de l’Université Paris-Sorbonne - 2009
Article
Hermann Weyl et Federigo Enriques : philosophie et mathématiques
Catherine BELLEANNÉE, Andrea BASSANINI, Jocelyn BENOIST
Dans Albert Einstein et Hermann Weyl (1955-2005) - 2010
Article
Tentations, succès et perspectives du formalisme en mathématiques au XXe siècle
Harald ATMANSPACHER
Dans Le formalisme en action - 2013