Le théorème de Gödel

Le théorème de Gödel

他のバージョン（1件）を表示する

保存先:

書誌詳細
第一著者:	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