IRMA - Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

philosophie des mathématiques ; Blaise Pascal ; Leibniz ; Poincaré ; logique ; Carroll ; Gödel

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel ; logique ; prédicat ; continuité ; Cantor

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logique ; informatique ; paradoxe ; Turing ; indécidabilité ; Gödel ; cryptographie quantique ; chainage ; complexité ; thermodynamique ; inférence ; algorithme génétique ; automate ; hyperensemble ; réalisme ; physique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

démonstration ; Gödel ; numération ; raisonnement ; théorème

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorème ; Gödel ; non-contradiction ; proposition ; incomplétude ; arithmétique ; logique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

méta-démonstration ; Gödel ; axiome du choix ; théorie des ensembles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des groupes ; Gödel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel ; logique ; philosophie

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

histoire des mathématiques ; Euclide ; Archimède ; Diophante ; Descartes ; Newton ; Laplace ; Fourier ; Gauss ; Cauchy ; Boole ; Riemann ; Dedekind ; Lebesgue ; Gödel ; Turing ; portrait de mathématiciens

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

vulgarisation ; nombre ; fondements des mathématiques ; théorie des ensembles ; Gödel ; complétude de Kolmogorov ; incomplétude

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel ; décidabilité

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

biographie ; Gödel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel ; logique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel ; Escher ; Bach

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Gödel | enregistrements trouvés : 23

Mathématiques & philosophie : en quête de vérités -Paris : Pole , 2010 . - 158 p. ; 24 cm
ISBN 9782848841106
Nouveau

Les indispensables mathématiques et physiques pour tous Moatti, Alexandre. -Paris : Odile Jacob , 2006 . - 258 p. ; 22 cm
ISBN 9782738117229
Nouveau

Gödel Cassou-Noguès, Pierre. -Paris : Les Belles Lettres , 2004 . - 190 p. ; 21 cm
ISBN 9782251760407
Nouveau

Logique, informatique et paradoxes Delahaye, Jean-Paul. -Paris : Pour la Science ; Belin , 1993 . - 158 p. ; 25 cm
ISBN 9782902918942
Nouveau

Le théorème de Gödel Nagel, E. ; Newman, James R.. -Paris : Editions du Seuil , 1989 . - 178 p. ; 20 cm
ISBN 9782020106528
Nouveau

Le théorème de Gödel : Un Thèorème fondamental de la logique mathématique Cesar, Jean. -Besançon : IREM de Besançon , 1980 . - 31 p. ; 30 cm
Nouveau

Goedel remembered Ed. Weingartner, P. ; Ed. Schmetterer, L.. -Napoli : Bibliopolis , 1987 . - 186
Nouveau

Word problems ii : the oxford book Ed. Adian, Sergei I. ; Ed. Boone, W.W. ; Ed. Higman, G.. -Amsterdam : North-Holland , 1980 . - x-578
Nouveau

Kurt Gödel and the foundations of mathematics : horizons of truth Ed. Baaz, Matthias ; Ed. Papadimitriou, Christos H. ; Ed. Putnam, Hilary ; et al.. -Cambridge : Cambridge university Press , 2011 . - xxiii, 515 p. ; 26 cm
ISBN 9780521761444
Nouveau

Et Dieu créa les nombres : les plus grands textes de mathématiques réunis et commentés par Stephen Hawking Ed. Hawking, Stephen ; Trad. Randon-Furling, Julien. -Paris : Dunod , 2006 . - viii, 1172 p. ; 25 cm
ISBN 9782100075980
Nouveau

Collected works. Vol. v : correspondence, H-Z Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Dawson, John W. Jr. ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Sieg, Wilfried. -Oxford : Clarendon Press , 2003 . - xxiii, 690 p. ; 24 cm
Nouveau

Collected works. Vol. iv : selected correspondence, A-G Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Dawson, John W. Jr. ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Sieg, Wilfried. -Oxford : Clarendon Press , 2003 . - xix, 662 p. ; 24 cm
Nouveau

Goedel : une révolution en mathématiques : essai sur les conséquences scientifiques et philosophiques des théorèmes goedeliens Delessert, Andre. -Lausanne : Presses polytechniques et universitaires romandes , 2000 . - xviii, 268 p. ; 24 cm
Nouveau

Collected works. Vol. 3 : unpublished essays and lectures Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Solovay, Robert M.. -New York NY : Oxford university Press , 1995 . - xvii, 532 p. ; 24 cm
Nouveau

Gödel's incompletness theorems Smullyan, Raymond M.. -New York NY, Oxford : Oxford university Press , 1992 . - xiii, 139 p. ; 24 cm
Nouveau

Kurt Gödel Wang, Hao. -Paris : Armand Colin , 1990 . - xxiv, 336
Nouveau

Collected works. Vol. 2 : publications 1938-1974 Gödel, Kurt. -New York : Oxford university Press , 1990 . - xiv, 407
Nouveau

Collected works. Vol. 1 : publications 1929-1936 Gödel, Kurt. -Oxford : Clarendon Press , 1986 . - xvi, 474
Nouveau

Goedel, Escher, Bach : les brins d'une guirlande eternelle Hofstadter, Douglas. -Paris : InterEditions , 1985 . - xxxi, 883 p. ; 24 cm
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Gödel | enregistrements trouvés : 23

Mathématiques & philosophie : en quête de vérités -Paris : Pole , 2010 . - 158 p. ; 24 cm ISBN 9782848841106 Nouveau

Les indispensables mathématiques et physiques pour tous Moatti, Alexandre. -Paris : Odile Jacob , 2006 . - 258 p. ; 22 cm ISBN 9782738117229 Nouveau

Gödel Cassou-Noguès, Pierre. -Paris : Les Belles Lettres , 2004 . - 190 p. ; 21 cm ISBN 9782251760407 Nouveau

Logique, informatique et paradoxes Delahaye, Jean-Paul. -Paris : Pour la Science ; Belin , 1993 . - 158 p. ; 25 cm ISBN 9782902918942 Nouveau

Le théorème de Gödel Nagel, E. ; Newman, James R.. -Paris : Editions du Seuil , 1989 . - 178 p. ; 20 cm ISBN 9782020106528 Nouveau

Le théorème de Gödel : Un Thèorème fondamental de la logique mathématique Cesar, Jean. -Besançon : IREM de Besançon , 1980 . - 31 p. ; 30 cm Nouveau

Goedel remembered Ed. Weingartner, P. ; Ed. Schmetterer, L.. -Napoli : Bibliopolis , 1987 . - 186 Nouveau

Word problems ii : the oxford book Ed. Adian, Sergei I. ; Ed. Boone, W.W. ; Ed. Higman, G.. -Amsterdam : North-Holland , 1980 . - x-578 Nouveau

Kurt Gödel and the foundations of mathematics : horizons of truth Ed. Baaz, Matthias ; Ed. Papadimitriou, Christos H. ; Ed. Putnam, Hilary ; et al.. -Cambridge : Cambridge university Press , 2011 . - xxiii, 515 p. ; 26 cm ISBN 9780521761444 Nouveau

Et Dieu créa les nombres : les plus grands textes de mathématiques réunis et commentés par Stephen Hawking Ed. Hawking, Stephen ; Trad. Randon-Furling, Julien. -Paris : Dunod , 2006 . - viii, 1172 p. ; 25 cm ISBN 9782100075980 Nouveau

Collected works. Vol. v : correspondence, H-Z Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Dawson, John W. Jr. ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Sieg, Wilfried. -Oxford : Clarendon Press , 2003 . - xxiii, 690 p. ; 24 cm Nouveau

Collected works. Vol. iv : selected correspondence, A-G Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Dawson, John W. Jr. ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Sieg, Wilfried. -Oxford : Clarendon Press , 2003 . - xix, 662 p. ; 24 cm Nouveau

Goedel : une révolution en mathématiques : essai sur les conséquences scientifiques et philosophiques des théorèmes goedeliens Delessert, Andre. -Lausanne : Presses polytechniques et universitaires romandes , 2000 . - xviii, 268 p. ; 24 cm Nouveau

Collected works. Vol. 3 : unpublished essays and lectures Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Solovay, Robert M.. -New York NY : Oxford university Press , 1995 . - xvii, 532 p. ; 24 cm Nouveau

Gödel's incompletness theorems Smullyan, Raymond M.. -New York NY, Oxford : Oxford university Press , 1992 . - xiii, 139 p. ; 24 cm Nouveau

Kurt Gödel Wang, Hao. -Paris : Armand Colin , 1990 . - xxiv, 336 Nouveau

Collected works. Vol. 2 : publications 1938-1974 Gödel, Kurt. -New York : Oxford university Press , 1990 . - xiv, 407 Nouveau

Collected works. Vol. 1 : publications 1929-1936 Gödel, Kurt. -Oxford : Clarendon Press , 1986 . - xvi, 474 Nouveau

Goedel, Escher, Bach : les brins d'une guirlande eternelle Hofstadter, Douglas. -Paris : InterEditions , 1985 . - xxxi, 883 p. ; 24 cm Nouveau

Mathématiques & philosophie : en quête de vérités -Paris : Pole , 2010 . - 158 p. ; 24 cm
ISBN 9782848841106
Nouveau

Les indispensables mathématiques et physiques pour tous Moatti, Alexandre. -Paris : Odile Jacob , 2006 . - 258 p. ; 22 cm
ISBN 9782738117229
Nouveau

Gödel Cassou-Noguès, Pierre. -Paris : Les Belles Lettres , 2004 . - 190 p. ; 21 cm
ISBN 9782251760407
Nouveau

Logique, informatique et paradoxes Delahaye, Jean-Paul. -Paris : Pour la Science ; Belin , 1993 . - 158 p. ; 25 cm
ISBN 9782902918942
Nouveau

Le théorème de Gödel Nagel, E. ; Newman, James R.. -Paris : Editions du Seuil , 1989 . - 178 p. ; 20 cm
ISBN 9782020106528
Nouveau

Le théorème de Gödel : Un Thèorème fondamental de la logique mathématique Cesar, Jean. -Besançon : IREM de Besançon , 1980 . - 31 p. ; 30 cm
Nouveau

Goedel remembered Ed. Weingartner, P. ; Ed. Schmetterer, L.. -Napoli : Bibliopolis , 1987 . - 186
Nouveau

Word problems ii : the oxford book Ed. Adian, Sergei I. ; Ed. Boone, W.W. ; Ed. Higman, G.. -Amsterdam : North-Holland , 1980 . - x-578
Nouveau

Kurt Gödel and the foundations of mathematics : horizons of truth Ed. Baaz, Matthias ; Ed. Papadimitriou, Christos H. ; Ed. Putnam, Hilary ; et al.. -Cambridge : Cambridge university Press , 2011 . - xxiii, 515 p. ; 26 cm
ISBN 9780521761444
Nouveau

Et Dieu créa les nombres : les plus grands textes de mathématiques réunis et commentés par Stephen Hawking Ed. Hawking, Stephen ; Trad. Randon-Furling, Julien. -Paris : Dunod , 2006 . - viii, 1172 p. ; 25 cm
ISBN 9782100075980
Nouveau

Collected works. Vol. v : correspondence, H-Z Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Dawson, John W. Jr. ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Sieg, Wilfried. -Oxford : Clarendon Press , 2003 . - xxiii, 690 p. ; 24 cm
Nouveau

Collected works. Vol. iv : selected correspondence, A-G Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Dawson, John W. Jr. ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Sieg, Wilfried. -Oxford : Clarendon Press , 2003 . - xix, 662 p. ; 24 cm
Nouveau

Goedel : une révolution en mathématiques : essai sur les conséquences scientifiques et philosophiques des théorèmes goedeliens Delessert, Andre. -Lausanne : Presses polytechniques et universitaires romandes , 2000 . - xviii, 268 p. ; 24 cm
Nouveau

Collected works. Vol. 3 : unpublished essays and lectures Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Solovay, Robert M.. -New York NY : Oxford university Press , 1995 . - xvii, 532 p. ; 24 cm
Nouveau

Gödel's incompletness theorems Smullyan, Raymond M.. -New York NY, Oxford : Oxford university Press , 1992 . - xiii, 139 p. ; 24 cm
Nouveau

Kurt Gödel Wang, Hao. -Paris : Armand Colin , 1990 . - xxiv, 336
Nouveau

Collected works. Vol. 2 : publications 1938-1974 Gödel, Kurt. -New York : Oxford university Press , 1990 . - xiv, 407
Nouveau

Collected works. Vol. 1 : publications 1929-1936 Gödel, Kurt. -Oxford : Clarendon Press , 1986 . - xvi, 474
Nouveau

Goedel, Escher, Bach : les brins d'une guirlande eternelle Hofstadter, Douglas. -Paris : InterEditions , 1985 . - xxxi, 883 p. ; 24 cm
Nouveau