Le théorème de Gödel

Le théorème de Gödel

Afficher d'autres versions (1)

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Nagel, Ernest, 1901-1985.
Andre forfattere:	Newman, James R., 1907-1966., Gödel, Kurt, 1906-1978., Girard, Jean-Yves, 1947-, Scherrer, Jean-Baptiste., Marchaisse, Thierry, 1955-
Format:	Livre
Sprog:	Français
Udgivet:	Paris : Editions du Seuil, DL 1989.
Serier:	Sources du savoir
Fag:	Gödel, Théorème de
Autres localisations:	Voir dans le Sudoc
Oversættelse af:	-- Gödel's proof -- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I

Lignende værker

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

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

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

Kurt Gödel
Udgivet: (2005)

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

Pédagogie et systémique
af: Lerbet, Georges, 1936-
Udgivet: (1997)

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

Automated theorem Proving : a logical basis
af: Loweland, Donald.
Udgivet: (1978)

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

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

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

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

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

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

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

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

Les Propositions vraies sont démontrables
af: Lescanne, Pierre.
Udgivet: (2007)

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

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

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

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

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

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

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

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

Stein's method and applications
Udgivet: (2005)

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

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

Le Programme de Langlands
af: Langlands, Robert.
Udgivet: (2007)

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

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

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

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

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

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

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

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

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

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