Besoin d'aide ? Consultez notre mode d'emploi
Nuage de mots-clés associés à : Métamathématique
Logique, mathématique, métamathématique
Gilles-Gaston GRANGERSous la direction de Roshdi RASHED, Pierre PELLEGRINDans Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin - 2005
Jacques Herbrand
Jacques DUBUCS, Paul ÉGRÉSous la direction de Michel BITBOL, Jean GAYONDans L’Épistémologie française, 1830-1970 - 2006
Le programme de Hilbert
Kosta DOSENSous la direction de Jean-Jacques SZCZECINIARZ, Jean SALLANTINDans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Vers un métamathématicien artificiel
Jacques PITRATSous la direction de Jean-Jacques SZCZECINIARZ, Jean SALLANTINDans 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 HEYTINGÉditeur : Gauthier-Villars - 1955
Gödel
Pierre CASSOU-NOGUÈSÉditeur : Les Belles Lettres - 2008
Logique, sémantique, métamathématique, 1923-1944 : Tome II
Alfred TARSKISous la direction de Gilles-Gaston GRANGERÉditeur : Armand Colin - 1974
Logique, sémantique, métamathématique. 1923-1944 : Tome I
Alfred TARSKISous la direction de Gilles-Gaston GRANGERÉditeur : Armand Colin - 1972