On formally undecidable propositions of Principia mathematica and related systems :: SCD d'Orléans

On formally undecidable propositions of Principia mathematica and related systems

On formally undecidable propositions of Principia mathematica and related systems

Guardat en:

Dades bibliogràfiques
Autor principal:	Gödel, Kurt, 1906-1978
Altres autors:	Meltzer, Bernard, 1916- (Traductor), Braithwaite, Richard Bevan, 1900-1990 (Autor d'introducció, etc.)
Format:	Livre papier
Idioma:	Anglais
Publicat:	Edinburgh ; London : Oliver & Boyd 1962.
Matèries:	Gödel, Théorème de
Nota:	Trad. de l'article : "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I", publié dans "Monatshefte für Mathematik und Physik, v. 38, p. 173-198" en 1931
Autres localisations:	Voir dans le Sudoc

Ítems similars

Undecidable theories
per: Tarski, Alfred, 1901-1983
Publicat: (1971)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
per: Davis, Martin, 1928-2023, et al.
Publicat: (1965)

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

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

Le théorème de Gödel
per: Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Publicat: (1997)

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

The monadic second order theory of all countable ordinals
per: Büchi, Julius Richard, 1924-1984, et al.
Publicat: (1973)

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

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

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

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

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

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

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

Komplexität von Entscheidungsproblemen : ein seminar
per: Specker, Ernst, 1920-2011
Publicat: (2005)

Word problems : Decision Problems and the Burnside Problem in Group Theory
Publicat: (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
per: Ladrière, Jean, 1921-2007
Publicat: (1992)

Gödel et Hilbert : l'impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert
per: Pissavin, Patrice, 1955-
Publicat: (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 corrigés
per: Cori, René, 1949-...., mathématicien, et al.
Publicat: (2003)

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

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

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

Principia mathematica.
per: Whitehead, Alfred North, 1861-1947, et al.
Publicat: (1963)

Principia mathematica.
per: Whitehead, Alfred North, 1861-1947, et al.
Publicat: (1963)

Principia mathematica.
per: Whitehead, Alfred North, 1861-1947, et al.
Publicat: (1963)

Roger Godel : de l'humanisme à l'humain
per: Asfar, Antoine
Publicat: (1963)

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

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

De quoi l'objet a est-il le nom ?
per: Blesson, Mathieu
Publicat: (2014)

Gödel
per: Cassou-Noguès, Pierre, 1971-
Publicat: (2004)

Gödel
per: Cassou-Noguès, Pierre, 1971-
Publicat: (2008)

Lectures on Formally Real Fields
per: Prestel, Alexander, 1941-...., mathématicien

Formally p-adic Fields
per: Prestel, Alexander, 1941-...., mathématicien, et al.

Optimal design and related areas in optimization and statistics
per: Pronzato, Luc, 1959-, et al.

Kurt Gödel philosopher-scientist
per: Crocco, Gabriella, 1963-, et al.
Publicat: (2021)

Number Theory Related to Fermat s Last Theorem : Proceedings of the conference sponsored by the Vaughn Foundation
per: Koblitz, Neal, 1948-

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
per: Mostowski, Andrzej, 1913-1975
Publicat: (1964)

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

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 98 Oisterwijk, The Netherlands, May 5 8, 1998 : proceedings

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, June 7-11, 1999 : 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