Need help? Consult our user guide
Cloud of keywords related to: Métamathématique
Logique, mathématique, métamathématique
Gilles-Gaston GRANGEREdited by Roshdi RASHED, Pierre PELLEGRINIn Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin - 2005
Jacques Herbrand
Jacques DUBUCS, Paul ÉGRÉEdited by Michel BITBOL, Jean GAYONIn L’Épistémologie française, 1830-1970 - 2006
Le programme de Hilbert
Kosta DOSENEdited by Jean-Jacques SZCZECINIARZ, Jean SALLANTINIn Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Vers un métamathématicien artificiel
Jacques PITRATEdited by Jean-Jacques SZCZECINIARZ, Jean SALLANTINIn Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration
Arend HEYTINGPublisher: Gauthier-Villars - 1955
Gödel
Pierre CASSOU-NOGUÈSPublisher: Les Belles Lettres - 2008
Logique, sémantique, métamathématique, 1923-1944 : Tome II
Alfred TARSKIEdited by Gilles-Gaston GRANGERPublisher: Armand Colin - 1974
Logique, sémantique, métamathématique. 1923-1944 : Tome I
Alfred TARSKIEdited by Gilles-Gaston GRANGERPublisher: Armand Colin - 1972