Résultats de la recherche

Résultats 1 à 15 sur un total de 26 résultats

Monographie

Why is There Philosophy of Mathematics At All ?

Ian HACKING
Cambridge University Press - 2014

Collectif

Le formalisme en action : Aspects mathématiques et philosophiques

Sous la direction de Jocelyn BENOIST, Thierry PAUL
Hermann - 2013

Collectif

La Pensée de Gilles-Gaston Granger

Sous la direction de Antonia SOULEZ, Arley R. MORENO
Hermann - 2010

Monographie

Philosophie et logique

Maurice BOUDOT
Presses de l’Université Paris-Sorbonne - 2009

Monographie

Une philosophie pour la physique quantique. Essai sur la non-séparabilité et la cosmologie de A. N. Whitehead

Marc de LACOSTE LAREYMONDIE
L’Harmattan - 2006

Monographie

Écrits logiques et philosophiques

Gottlob FREGE
Seuil - 1994

Monographie

Le Théorème de Gödel

Ernest NAGEL, James R. NEWMAN, Kurt GÖDEL, et al.
Seuil - 1989

Collectif

Intelligence des mécanismes, mécanismes de l'intelligence : Intelligence artificielle et sciences de la cognition

Sous la direction de Jean-Louis LE MOIGNE
Fayard - 1986

Monographie

Pensée formelle et sciences de l’homme

Gilles-Gaston GRANGER
Aubier (Montaigne) - 1975

Monographie

Fondements des mathématiques

Michel COMBÈS
Presses Universitaires de France - 1971

Monographie

Pensée formelle et sciences de l'homme

Gilles-Gaston GRANGER
Aubier (Montaigne) - 1960

Monographie

Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration

Arend HEYTING
Gauthier-Villars - 1955

Monographie

L’Idée de la raison dans les sciences et la philosophie contemporaine

Jean de LA HARPE
Secrétariat de l’Université de Neuchâtel - 1930

Article

Les normes comme propriétés émergentes d’un apprentissage adaptatif. Le cas des routines économiques

Giovanni DOSI, Luigi MARENGO, Andrea BASSANINI, et al.
Dans Les Limites de la rationalité - 1997

Article

Le raisonnement historique à l’épreuve de l’IA

Jean-Claude GARDIN, Monique RENAUD, Marie-Salomé LAGRANGE
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Méthodes de tri