Besoin d'aide ? Consultez notre mode d'emploi
Nuage de mots-clés associés à : Formalisme
L’Idée de la raison dans les sciences et la philosophie contemporaine
Jean de LA HARPEÉditeur : Secrétariat de l’Université de Neuchâtel - 1930
Fondements des mathématiques
Michel COMBÈSÉditeur : Presses Universitaires de France - 1971
Le Théorème de Gödel
Ernest NAGEL, James R. NEWMAN, Kurt GÖDEL, Jean-Yves GIRARDSous la direction de Thierry MARCHAISSEÉditeur : Seuil - 1989
Écrits logiques et philosophiques
Gottlob FREGEÉditeur : Seuil - 1994
Pensée formelle et sciences de l’homme
Gilles-Gaston GRANGERÉditeur : Aubier (Montaigne) - 1975
Une philosophie pour la physique quantique. Essai sur la non-séparabilité et la cosmologie de A. N. Whitehead
Marc de LACOSTE LAREYMONDIEÉditeur : L’Harmattan - 2006
La Pensée de Gilles-Gaston Granger
Sous la direction de Antonia SOULEZ, Arley R. MORENOÉditeur : Hermann - 2010
Philosophie et logique
Maurice BOUDOTÉditeur : Presses de l’Université Paris-Sorbonne - 2009
Formalisme et intuitionnisme en philosophie des mathématiques
Jean LARGEAULTSous la direction de Yvon BRÈSDans Revue philosophique de la France et de l’étranger - 1990
Brève note sur l’intuitionnisme de Brouwer
Jean LARGEAULTSous la direction de Yvon BRÈSDans Revue philosophique de la France et de l’étranger - 1992
L’épistémologie française et le Cercle de Vienne : Louis Rougier
Jacques LAMBERTSous la direction de Michel BITBOL, Jean GAYONDans L’Épistémologie française, 1830-1970 - 2006
Une “logique de la physique” ? Sur les propriétés formelles de l’énoncé d’une mesure quantique
Jacques CROIZERSous la direction de Bruno CANYDans Cahiers critiques de la philosophie - 2007
Vers un démonstrateur adaptatif
Catherine BELLEANNÉE, Jacques NICOLAS, C’H Raoul VORSous la direction de Jean-Jacques SZCZECINIARZ, Jean SALLANTINDans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Le raisonnement historique à l’épreuve de l’IA
Jean-Claude GARDIN, Monique RENAUD, Marie-Salomé LAGRANGESous la direction de Jean-Jacques SZCZECINIARZ, Jean SALLANTINDans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Les normes comme propriétés émergentes d’un apprentissage adaptatif. Le cas des routines économiques
Giovanni DOSI, Luigi MARENGO, Andrea BASSANINI, Marco VALENTESous la direction de Bénédicte REYNAUDDans Les Limites de la rationalité - 1997
Théorie quantique faible : cadre formel et applications
Harald ATMANSPACHER, Thomas FILK, Hartmann RÖMERSous la direction de Michel BITBOLDans Théorie quantique et sciences humaines - 2009
Le lien de la pensée formelle à la science
Antoine RUSCIOSous la direction de Antonia SOULEZ, Arley R. MORENODans La Pensée de Gilles-Gaston Granger - 2010
Régulation langagière et application des formes
Joëlle PROUSTSous la direction de Antonia SOULEZ, Arley R. MORENODans La Pensée de Gilles-Gaston Granger - 2010
Objet scientifique et objet esthétique chez Granger. Entre art et création
Antonia SOULEZSous la direction de Antonia SOULEZ, Arley R. MORENODans La Pensée de Gilles-Gaston Granger - 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Éditeur : Fayard - 1986
Pensée formelle et sciences de l'homme
Gilles-Gaston GRANGERÉditeur : Aubier (Montaigne) - 1960
Hermann Weyl et Federigo Enriques : philosophie et mathématiques
Mario CASTELLANADans Albert Einstein et Hermann Weyl (1955-2005) - 2010
Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration
Arend HEYTINGÉditeur : Gauthier-Villars - 1955
Le formalisme en action : Aspects mathématiques et philosophiques
Sous la direction de Jocelyn BENOIST, Thierry PAULÉditeur : Hermann - 2013
Tentations, succès et perspectives du formalisme en mathématiques au XXe siècle
Claude BARDOSSous la direction de Jocelyn BENOIST, Thierry PAULDans Le formalisme en action - 2013
Why is There Philosophy of Mathematics At All ?
Ian HACKINGÉditeur : Cambridge University Press - 2014