Extensional Gödel functional interpretation : :: SCD d'Orléans

Extensional Gödel functional interpretation : a consistency proof of classical analysis

Extensional Gödel functional interpretation : a consistency proof of classical analysis

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Luckhardt, Horst
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in mathematics 306
Pynciau:	Mathématiques Mathématiques intuitionnistes Théorème de Gödel
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Extensional Gödel functional interpretation, a consistency proof of classical analysis, Horst Luckhardt,..., Berlin, Springer, 1973, 1 vol. (VI-161 p.), Lecture notes in mathematics, 3-540-06119-3 • Extensional Gödel Functional Interpretation, Texte imprimé, 9783662184240

Eitemau Tebyg

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

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

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

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

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

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

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

Gödel
gan: Cassou-Noguès, Pierre, 1971-
Cyhoeddwyd: (2004)

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

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

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
gan: Ladrière, Jean, 1921-2007
Cyhoeddwyd: (1992)

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

Gödel
gan: Cassou-Noguès, Pierre, 1971-
Cyhoeddwyd: (2008)

Undecidable theories
gan: Tarski, Alfred, 1901-1983
Cyhoeddwyd: (1971)

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

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

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
gan: Troelstra, Anne Sjerp

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
gan: Troelstra, Anne Sjerp
Cyhoeddwyd: (1969)

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

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

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

Proof Theory and Intuitionistic Systems
gan: Scarpellini, Bruno, 19..-

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

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

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

Roger Godel : de l'humanisme à l'humain
gan: Asfar, Antoine
Cyhoeddwyd: (1963)

Intuitionism : an introduction
gan: Heyting, Arend, 1898-1980
Cyhoeddwyd: (1971)

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

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

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
gan: David, René, 1948-...., mathématicien, et al.
Cyhoeddwyd: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
gan: David, René, 1948-2022, mathématicien, et al.
Cyhoeddwyd: (2004)

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
gan: Kino, Akiko
Cyhoeddwyd: (1970)

The Selected correspondence of L.E.J. Brouwer
gan: von Dalen, Dirk

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

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
gan: Bucur, Ion, 1930-1976, et al.
Cyhoeddwyd: (1972)

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

Intuitionisme et théorie de la démonstration
gan: Largeault, Jean, 1930-1995
Cyhoeddwyd: (1992)

Metamathematical investigation of intuitionistic arithmetic and analysis
gan: Troelstra, Anne Sjerp
Cyhoeddwyd: (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
gan: Cori, René, 1949-...., mathématicien, et al.
Cyhoeddwyd: (2003)

Metamathematical investigation of intuitionistic arithmetic and analysis
gan: Troelstra, Anne Sjerp

© 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