Le théorème de Gödel

Le théorème de Gödel

Afficher d'autres versions (1)

Enregistré dans:

書目詳細資料
主要作者:	Nagel, Ernest, 1901-1985.
其他作者:	Newman, James R., 1907-1966., Gödel, Kurt, 1906-1978., Girard, Jean-Yves, 1947-, Scherrer, Jean-Baptiste., Marchaisse, Thierry, 1955-
格式:	Livre
語言:	Français
出版:	Paris : Editions du Seuil, DL 1989.
叢編:	Sources du savoir
主題:	Gödel, Théorème de
Autres localisations:	Voir dans le Sudoc
翻譯:	-- Gödel's proof -- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I

相似書籍

Le théorème de Gödel
由: Nagel, Ernest, 1901-1985.
出版: (1997)

Gödel's proof
由: Nagel, Ernest, 1901-1985.
出版: (1959)

Gödel : logique à la folie.
出版: (2004)

Kurt Gödel
出版: (2005)

Les démons de Gödel : logique et folie
由: Cassou-Noguès, Pierre, 1971-
出版: (2007)

Pédagogie et systémique
由: Lerbet, Georges, 1936-
出版: (1997)

Gödel
由: Cassou-Noguès, Pierre (1971-....).
出版: (2008)

Automated theorem Proving : a logical basis
由: Loweland, Donald.
出版: (1978)

Hasard et complexité en mathématiques
由: Chaitin, Gregory J.
出版: (2009)

Alain Connes : la réalité mathématique archaïque.
由: Postel-Vinay, Olivier.
出版: (2000)

Le Théorème des indéboulonnables
由: Mawhin, Jean.
出版: (2003)

Information theory and the central limit theorem
由: Johnson, Oliver T.
出版: (2004)

Théorèmes, l'ordinateur fait ses preuves
由: Pajot, Philippe.
出版: (2013)

Le dernier théorème de Fermat : l'histoire de l'énigme qui a défié les plus grands esprits du monde pendant 358 ans
由: Singh, Simon, 1964-
出版: (1999)

Gödel, Escher, Bach : les brins d'une guirlande éternelle
由: Hofstadter, Douglas.
出版: (1985)

Le dernier théorème de Fermat : l'histoire de l'énigme qui a défié les plus grands esprits du monde pendant 358 ans
由: Singh, Simon, 1964-
出版: (2011)

Un théorème de théorie des groupes vérifié par ordinateur
由: Pajot, Philippe.
出版: (2013)

Logique & calcul. Presque tout est indécidable !
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2009)

Les Propositions vraies sont démontrables
由: Lescanne, Pierre.
出版: (2007)

L'Incomplétude, le hasard et la physique
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2007)

Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
由: Larousserie, David.
出版: (2003)

Cours de logique mathématique.
由: Fraïssé, Roland, 1920-
出版: (1967)

Quand l'analyse rencontre la géométrie
由: Bourguignon, Jean-Pierre.
出版: (2004)

Leçons sur les fonctions méromorphes : professées au Collège de France
由: Borel, Émile, 1871-1956.
出版: (1903)

L'entreprise, le marché et le droit
由: Coase, Ronald Harry, 1910-2013.
出版: (2005)

Pythagore à la plage : les nombres dans un transat
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2021)

An Introduction to Stein's method
出版: (2005)

Stein's method and applications
出版: (2005)

Les Ordinateurs mathématiciens !.
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2002)

Du rêve à la réalité des preuves
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2011)

Le Programme de Langlands
由: Langlands, Robert.
出版: (2007)

Introduction à la théorie analytique et probabiliste des nombres
由: Tenenbaum, Gérald, 1952-
出版: (2015)

Le point aveugle : cours de logique
由: Girard, Jean-Yves, 1947-
出版: (2007)

Le point aveugle : cours de logique
由: Girard, Jean-Yves, 1947-
出版: (2006)

Les Limites de la raison mathématique
由: Chaitin, Gregory J.
出版: (2006)

Les Nombres premiers [Dossier].
出版: (2002)

Paver le plan avec un pentagone convexe
由: Delahaye, Jean-Paul, 1952-...., mathématicien.
出版: (2017)

Secrets de nombres (arithmétique).
出版: (2000)

÷La mathématique peut déchaîner les passions÷
由: Khalatbari, Azar.
出版: (2012)

Fermat : des défis en conjectures.
出版: (2007)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1