Le théorème de Gödel

Enregistré dans:
Détails bibliographiques
Auteur principal: Nagel, Ernest, 1901-1985.
Autres auteurs: Newman, James R., 1907-1966., Gödel, Kurt, 1906-1978., Girard, Jean-Yves, 1947-, Scherrer, Jean-Baptiste., Marchaisse, Thierry, 1955-
Support: Livre
Langue: Français
Publié: Paris : Editions du Seuil, DL 1989.
Collection: Sources du savoir
Sujets:
Autres localisations: Voir dans le Sudoc
Traduit de: -- Gödel's proof
-- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I
Lien: Est constitué de: Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1)
Est constitué de: Le champ du signe ou la faillite du réductionisme
Est constitué de: La démonstration de Gödel
Table des matières:
  • La démonstration de Gödel / Ernest Nagel, James R. Newman
  • Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1) / Kurt Gödel
  • Le champ du signe ou La faillite du réductionisme / Jean-Yves Girard