Le théorème de Gödel

Le théorème de Gödel

Afficher d'autres versions (1)

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Nagel, Ernest, 1901-1985.
Awduron Eraill:	Newman, James R., 1907-1966., Gödel, Kurt, 1906-1978., Girard, Jean-Yves, 1947-, Scherrer, Jean-Baptiste., Marchaisse, Thierry, 1955-
Fformat:	Livre
Iaith:	Français
Cyhoeddwyd:	Paris : Editions du Seuil, DL 1989.
Cyfres:	Sources du savoir
Pynciau:	Gödel, Théorème de
Autres localisations:	Voir dans le Sudoc
Cyfieithiad o:	-- Gödel's proof -- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I

Eitemau Tebyg

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

Gödel's proof
gan: Nagel, Ernest, 1901-1985.
Cyhoeddwyd: (1959)

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

Kurt Gödel
Cyhoeddwyd: (2005)

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

Pédagogie et systémique
gan: Lerbet, Georges, 1936-
Cyhoeddwyd: (1997)

Gödel
gan: Cassou-Noguès, Pierre (1971-....).
Cyhoeddwyd: (2008)

Automated theorem Proving : a logical basis
gan: Loweland, Donald.
Cyhoeddwyd: (1978)

Hasard et complexité en mathématiques
gan: Chaitin, Gregory J.
Cyhoeddwyd: (2009)

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

Le Théorème des indéboulonnables
gan: Mawhin, Jean.
Cyhoeddwyd: (2003)

Information theory and the central limit theorem
gan: Johnson, Oliver T.
Cyhoeddwyd: (2004)

Théorèmes, l'ordinateur fait ses preuves
gan: Pajot, Philippe.
Cyhoeddwyd: (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
gan: Singh, Simon, 1964-
Cyhoeddwyd: (1999)

Gödel, Escher, Bach : les brins d'une guirlande éternelle
gan: Hofstadter, Douglas.
Cyhoeddwyd: (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
gan: Singh, Simon, 1964-
Cyhoeddwyd: (2011)

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

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

Les Propositions vraies sont démontrables
gan: Lescanne, Pierre.
Cyhoeddwyd: (2007)

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

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

Cours de logique mathématique.
gan: Fraïssé, Roland, 1920-
Cyhoeddwyd: (1967)

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

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

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

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

An Introduction to Stein's method
Cyhoeddwyd: (2005)

Stein's method and applications
Cyhoeddwyd: (2005)

Les Ordinateurs mathématiciens !.
gan: Delahaye, Jean-Paul, 1952-...., mathématicien.
Cyhoeddwyd: (2002)

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

Le Programme de Langlands
gan: Langlands, Robert.
Cyhoeddwyd: (2007)

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

Le point aveugle : cours de logique
gan: Girard, Jean-Yves, 1947-
Cyhoeddwyd: (2007)

Le point aveugle : cours de logique
gan: Girard, Jean-Yves, 1947-
Cyhoeddwyd: (2006)

Les Limites de la raison mathématique
gan: Chaitin, Gregory J.
Cyhoeddwyd: (2006)

Les Nombres premiers [Dossier].
Cyhoeddwyd: (2002)

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

Secrets de nombres (arithmétique).
Cyhoeddwyd: (2000)

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

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

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