Le théorème de Gödel

Gardado en:
Detalles Bibliográficos
Autor Principal: Nagel, Ernest, 1901-1985.
Outros autores: Newman, James R., 1907-1966., Gödel, Kurt, 1906-1978., Girard, Jean-Yves, 1947-, Scherrer, Jean-Baptiste., Marchaisse, Thierry, 1955-
Formato: Livre
Idioma: Français
Publicado: Paris : Editions du Seuil, DL 1989.
Series: Sources du savoir
Sujets:
Autres localisations: Voir dans le Sudoc
Entrada de idioma orixinal: -- Gödel's proof
-- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I
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
  • Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1)
  • Le champ du signe ou la faillite du réductionisme
  • La démonstration de Gödel