Accueil
Abécédaire
Recherche
Intranet
Contact
Système d'information en philosophie des sciences
Méthodes de tri
Auteur
|
Titre
|
Année
1
2
Résultats 16 à 26 sur un total de 26 résultats.
Monographie
Le Théorème de Gödel
Ernest NAGEL, James R. NEWMAN, Kurt GÖDEL, et al.
Seuil - 1989
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
Article
Le lien de la pensée formelle à la science
Antoine RUSCIO
Dans :
La Pensée de Gilles-Gaston Granger - 2010
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
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
Article
Hermann Weyl et Federigo Enriques : philosophie et mathématiques
Mario CASTELLANA
Dans :
Albert Einstein et Hermann Weyl (1955-2005) - 2010
Article
Formalisme et intuitionnisme en philosophie des mathématiques
Jean LARGEAULT
Dans :
Revue philosophique de la France et de l’étranger - 1990
Monographie
Fondements des mathématiques
Michel COMBÈS
Presses Universitaires de France - 1971
Monographie
Écrits logiques et philosophiques
Gottlob FREGE
Seuil - 1994
Article
Brève note sur l’intuitionnisme de Brouwer
Jean LARGEAULT
Dans :
Revue philosophique de la France et de l’étranger - 1992
1
2
Haut de page
Retour à la page précédente
