Le théorème de Gödel

Le théorème de Gödel

Afficher d'autres versions (1)

Enregistré dans:

Sonraí Bibleagrafaíochta
Príomhúdar:	Nagel, Ernest, 1901-1985.
Údair Eile:	Newman, James R., 1907-1966., Gödel, Kurt, 1906-1978., Girard, Jean-Yves, 1947-, Scherrer, Jean-Baptiste., Marchaisse, Thierry, 1955-
Formáid:	Livre
Teanga:	Français
Foilsithe:	Paris : Editions du Seuil, DL 1989.
Sraith:	Sources du savoir
Ábhair:	Gödel, Théorème de
Autres localisations:	Voir dans le Sudoc
Aistriúchán ar:	-- Gödel's proof -- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I

Míreanna Comhchosúla

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

Les théorèmes d'incomplétude de Gödel
le: Smullyan, Raymond Merrill, 1919-
Foilsithe: (1993)

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

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

Kurt Gödel
Foilsithe: (2005)

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

Pédagogie et systémique
le: Lerbet, Georges, 1936-
Foilsithe: (1997)

Automated theorem Proving : a logical basis
le: Loweland, Donald.
Foilsithe: (1978)

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

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

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

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

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

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

Higher order logic theorem proving ans its applications : [actes] : [of the] 7th International Workshop Valletta, Malta, september 19-22, 1994 ; Thomas F. Melhan, Juanito Camilleri (Eds).
le: Camilleri, Juanito.
Foilsithe: (1994)

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

Mathématiques dans la réalité.
le: Castelnuovo, Emma.
Foilsithe: (1982)

Les Propositions vraies sont démontrables
le: Lescanne, Pierre.
Foilsithe: (2007)

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

Topologie élémentaire : , géométrie des fonctions de segments, de courbes, de cercles et de disques [First concepts of topology], par W. G. Chinn,... N. E. Steenrod,... Traduit par D. [Daniel] P. Lachat,..
le: Chinn, William G.
Foilsithe: (1970)

Optique et principe de Fermat
le: Provost, Jean-Pierre.
Foilsithe: (1980)

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

Fermat enfin vaincu.
le: La Taille, Renaud de.
Foilsithe: (1993)

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

Un Système complet de déduction naturelle.
le: Luya, Bernard.
Foilsithe: (1975)

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

Mathematical expeditions : chronicles by the explorers
le: Laubenbacher, Reinhard.
Foilsithe: (1999)

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

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

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

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

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

Stein's method and applications
Foilsithe: (2005)

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

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

Le Programme de Langlands
le: Langlands, Robert.
Foilsithe: (2007)

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

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

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