Aux frontières des mathématiques : :: SCD d'Orléans

$Aux frontières des mathématiques : Kurt Gödel et l'incomplétude$

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude

Le 7 septembre 1930 à Königsberg, aujourd'hui Kaliningrad, un jeune mathématicien autrichien de vingt-quatre ans, Kurt Gödel, expose devant un parterre de logiciens et de philosophes prestigieux un résultat inattendu qui signifie que jamais une théorie mathématique ne dira tout des objets dont...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Delahaye, Jean-Paul, 1952-
Định dạng:	Livre numérique
Ngôn ngữ:	Français
Được phát hành:	Malakoff : Dunod 2025. Paris : Cyberlibris
Những chủ đề:	Théorème de Gödel Théorèmes d'incomplétude
Truy cập trực tuyến:	Accès Université d'Orléans et IFPM Accès INSA CVL
Chú thích:	Couverture. https://static2.cyberlibris.com/books_upload/136pix/9782100883912.jpg Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Aux frontières des mathématiques, Kurt Gödel et l'incomplétude, Jean-Paul Delahaye, 2025, Malakoff, Dunod, 1 volume (235 pages), 978-2-10-085641-1

Những quyển sách tương tự

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
Bằng: Delahaye, Jean-Paul, 1952-
Được phát hành: (2025)

A Course on Mathematical Logic
Bằng: Srivastava, Sashi Mohan, 19..-

Le point aveugle : cours de logique Vers l'imperfection
Bằng: Girard, Jean-Yves, 1947-...., mathématicien-logicien
Được phát hành: (2007)

The blind spot : lectures on logic
Bằng: Girard, Jean-Yves, 1947-...., mathématicien-logicien
Được phát hành: (2011)

Les théorèmes d'incomplétude de Gödel
Bằng: Smullyan, Raymond Merrill, 1919-2017
Được phát hành: (2000)

Les théorèmes d'incomplétude de Gödel
Bằng: Smullyan, Raymond Merrill, 1919-2017
Được phát hành: (1993)

Success and Opportunism in Hilbert’s and von Neumann’s Methodological Reflections
Bằng: Formica, Giambattista
Được phát hành: (2020)

Extensional Gödel functional interpretation : a consistency proof of classical analysis
Bằng: Luckhardt, Horst
Được phát hành: (1973)

Undecidable theories
Bằng: Tarski, Alfred, 1901-1983
Được phát hành: (1971)

On formally undecidable propositions of Principia mathematica and related systems
Bằng: Gödel, Kurt, 1906-1978
Được phát hành: (1962)

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

Le théorème de Gödel
Bằng: Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Được phát hành: (1997)

The monadic second order theory of all countable ordinals
Bằng: Büchi, Julius Richard, 1924-1984, et al.
Được phát hành: (1973)

Enumerability, decidability, computability : an introduction to the theory of recursive functions
Bằng: Hermes, Hans, 1912-2003
Được phát hành: (1965)

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

Je suis une boucle étrange
Bằng: Hofstadter, Douglas R., 1945-
Được phát hành: (2021)

Gödel et Hilbert : l'impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert
Bằng: Pissavin, Patrice, 1955-
Được phát hành: (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
Bằng: Cori, René, 1949-...., mathématicien, et al.
Được phát hành: (2003)

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
Bằng: Ladrière, Jean, 1921-2007
Được phát hành: (1992)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
Bằng: Cori, René, et al.
Được phát hành: (1993)

Komplexität von Entscheidungsproblemen : ein seminar
Bằng: Specker, Ernst, 1920-2011
Được phát hành: (2005)

Word problems : Decision Problems and the Burnside Problem in Group Theory
Được phát hành: (1973)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Bằng: Davis, Martin, 1928-2023, et al.
Được phát hành: (1965)

The Atiyah-Singer index theorem : an introduction
Bằng: Shanahan, Patrick, 1931-2013
Được phát hành: (1978)

The Atiyah-Singer Index Theorem : An Introduction
Bằng: Shanahan, Patrick, 1931-2013

De Condorcet à Arrow via Guilbaud, Nakamura et les "jeux simples"
Bằng: Monjardet, Bernard
Được phát hành: (2006)

Invitation aux mathématiques de Fermat-Wiles
Bằng: Hellegouarch, Yves, 1936-2022
Được phát hành: (1997)

L'incomplétude et l'incertitude dans la relation de travail
Bằng: Frémeaux, Sandrine, et al.
Được phát hành: (2006)

Tangente, l'aventure mathématique.

Tangente, l'aventure mathématique.

Combinatoire
Bằng: Gowers, Timothy
Được phát hành: (2025)

Pythagore & Thalès
Bằng: Deledicq, André, 1943-, et al.
Được phát hành: (2009)

Pythagore à la plage : les nombres dans un transat
Bằng: Delahaye, Jean-Paul, 1952-
Được phát hành: (2021)

Kurt Gödel et son panthéon démoniaque : vers un autre théorème sinthomatique ?
Bằng: Gumpper, Stéphane, et al.
Được phát hành: (2010)

Introduction à l'épistémologie des mathématiques : que sait-on quand on connaît le théorème de Pythagore ?
Bằng: Fouquet, Olivier, 1981-...., mathématicien
Được phát hành: (2025)

Pythagore à la plage : les nombres dans un transat
Bằng: Delahaye, Jean-Paul, 1952-...., mathématicien
Được phát hành: (2025)

La secte des nombres : le théorème de Pythagore
Bằng: Alsina, Claudi, 1952-2025
Được phát hành: (2013)

13 lectures on Fermat's last theorem
Bằng: Ribenboim, Paulo, 1928-...., mathématicien
Được phát hành: (1979)

13 Lectures on Fermat s Last Theorem
Bằng: Ribenboim, Paulo, 1928-...., mathématicien

Cours de logique mathématique. Relation, formule logique, compacité, complétude
Bằng: Fraïssé, Roland, 1920-2008, mathématicien
Được phát hành: (1967)

© 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