Les théorèmes d'incomplétude de Gödel :: SCD d'Orléans

Les théorèmes d'incomplétude de Gödel

Les théorèmes d'incomplétude de Gödel

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Smullyan, Raymond Merrill, 1919-2017
Andre forfattere:	Margenstern, Maurice, 19..-...., mathématicien (Traducteur)
Format:	Livre papier
Sprog:	Français
Udgivet:	Paris ; Milan [etc.] : Masson DL 1993.
Serier:	Axiomes
Fag:	Arithmétique > Fondements Logique symbolique et mathématique Gödel, Théorème de
Kommentar:	Traduit de: "Gödel's incompleteness theorems"
Autres localisations:	Voir dans le Sudoc

Lignende værker

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

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)

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

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

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

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

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

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)

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)

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)

Gödel : des théorèmes d’incomplétude à la théorie des concepts
af: Boniface, Jacqueline
Udgivet: (2010)

Logique interne : [modèles et applications]
af: Gauthier, Yvon, 1941-
Udgivet: (1997)

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

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

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-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
af: Baumgartner, Peter, 1953-

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)

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

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

© 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