Le théorème de Gödel :: SCD d'Orléans

Le théorème de Gödel

Le théorème de Gödel

Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du célèbre théorème d' "incomplétude". [Source : 4e...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Auteurs principaux:	Nagel, Ernest, 1901-1985, philosophe, logicien, Newman, James R., 1907-1966, mathématicien (Auteur), Gödel, Kurt, 1906-1978 (Auteur), Girard, Jean-Yves, 1947-...., mathématicien-logicien (Auteur)
Andre forfattere:	Scherrer, Jean-Baptiste, traducteur (Traducteur)
Format:	Livre papier
Sprog:	Français
Udgivet:	Paris : Éd. du Seuil DL 1997.
Serier:	Points. Sciences 122
Fag:	Métamathématique Mathématiques > Philosophie Logique symbolique et mathématique Théorème de Gödel
Kommentar:	Traduit de : "Gödel's proof", et de : "Über formal unentscheidbare Sätze der 'Principia mathematica' und verwandter Systeme. I"
Autres localisations:	Voir dans le Sudoc
Contient:	• La démonstration de Gödel, par Ernest Nagel & James R. Newman • Sur les propositions formellement indécidables des "Principia mathematica" et des systèmes apparentés, 1, par Kurt Gödel • Le champ du signe ou la faillite du réductionnisme, par Jean-Yves Girard

Lignende værker

Les théorèmes d'incomplétude de Gödel
af: Smullyan, Raymond Merrill, 1919-2017
Udgivet: (2000)

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

Extensional Gödel functional interpretation : a consistency proof of classical analysis
af: Luckhardt, Horst

Extensional Gödel functional interpretation : a consistency proof of classical analysis
af: Luckhardt, Horst
Udgivet: (1973)

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
af: Ladrière, Jean, 1921-2007
Udgivet: (1992)

Gödel et Hilbert : l'impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert
af: Pissavin, Patrice, 1955-
Udgivet: (2021)

On formally undecidable propositions of Principia mathematica and related systems
af: Gödel, Kurt, 1906-1978
Udgivet: (1962)

A Course on Mathematical Logic
af: Srivastava, Sashi Mohan, 19..-

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
af: Davis, Martin, 1928-2023, et autres
Udgivet: (1965)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
af: Cori, René, et autres
Udgivet: (1993)

Gödel, Escher, Bach : an eternal golden braid
af: Hofstadter, Douglas R., 1945-
Udgivet: (1979)

Kurt Gödel et son panthéon démoniaque : vers un autre théorème sinthomatique ?
af: Gumpper, Stéphane, et autres
Udgivet: (2010)

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
af: Delahaye, Jean-Paul, 1952-
Udgivet: (2025)

Kurt Gödel philosopher-scientist
af: Crocco, Gabriella, 1963-, et autres
Udgivet: (2021)

The monadic second order theory of all countable ordinals
af: Büchi, Julius Richard, 1924-1984

Gödel
af: Cassou-Noguès, Pierre, 1971-
Udgivet: (2004)

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
af: Delahaye, Jean-Paul, 1952-
Udgivet: (2025)

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

Introduction to metamathematics
af: Kleene, Stephen Cole, 1909-1994
Udgivet: (1952)

Gödel
af: Cassou-Noguès, Pierre, 1971-
Udgivet: (2008)

La logique interne
af: Gauthier, Yvon, 1941-
Udgivet: (1991)

Métamathématique
af: Lorenzen, Paul, 1915-1994
Udgivet: (1967)

Undecidable theories
af: Tarski, Alfred, 1901-1983
Udgivet: (1971)

Ecrits logiques
af: Herbrand, Jacques, 1908-1931, et autres
Udgivet: (1968)

Le point aveugle : cours de logique Vers l'imperfection
af: Girard, Jean-Yves, 1947-...., mathématicien-logicien
Udgivet: (2007)

The blind spot : lectures on logic
af: Girard, Jean-Yves, 1947-...., mathématicien-logicien
Udgivet: (2011)

Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
af: Bulloff, Jack J., 19..-

Sur la nature des mathématiques
af: Bruter, Claude Paul, 1937-...., mathématicien
Udgivet: (1973)

The monadic second order theory of all countable ordinals
af: Büchi, Julius Richard, 1924-1984, et autres
Udgivet: (1973)

Word problems : Decision Problems and the Burnside Problem in Group Theory
Udgivet: (1973)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
af: Cori, René, 1949-...., mathématicien, et autres
Udgivet: (2003)

Enumerability, decidability, computability : an introduction to the theory of recursive functions
af: Hermes, Hans, 1912-2003
Udgivet: (1965)

Foundations of mathematics : questions of analysis, geometry & algorithmics
af: Engeler, Erwin, 1930-
Udgivet: (1983)

Using sophisticated models in resolution theorem proving
af: Sandford, David M., 19..-

The metamathematics of algebraic systems : collected papers : 1936-1967
af: Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
Udgivet: (1971)

Je suis une boucle étrange
af: Hofstadter, Douglas R., 1945-
Udgivet: (2021)

Roger Godel : de l'humanisme à l'humain
af: Asfar, Antoine
Udgivet: (1963)

Le programme de Gödel et la subjectivité mathématicienne
af: Cassou-Noguès, Pierre
Udgivet: (2022)

Gödel, Escher, Bach : les brins d'une guirlande éternelle
af: Hofstadter, Douglas R., 1945-
Udgivet: (1985)

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
af: Miglioli, Pierangelo, 1946-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales