skip to content
Le théorème de Gödel Preview this item
ClosePreview this item
Checking...

Le théorème de Gödel

Author: Ernest Nagel; James R Newman; Kurt Gödel; Jean-Yves Girard; Jean-Baptiste Scherrer; et al
Publisher: Paris : Éd. du Seuil, 1997
Series: Points. Sciences, 122
Edition/Format:   Print book : FrenchView all editions and formats
Summary:
En 1931, Kurt Godel démontrait, dans un article révolutionnaire, l'incomplétude de tout système axiomatique contenant la théorie des nombres. Apparemment très technique, ce théorème bouleversait de fond en comble la philosophie des mathématiques.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Ernest Nagel; James R Newman; Kurt Gödel; Jean-Yves Girard; Jean-Baptiste Scherrer; et al
ISBN: 2020327783 9782020327787
OCLC Number: 416912675
Notes: Réunit : "La démonstration de Gödel" / Ernest Nagel et James R. Newman, trad. de : "Gödel's proof". "Sur les propositions formellement indécidables de Principia mathematica et des systèmes apparentés I" / Kurt Gödel, trad. de : "Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I". "Le champ du signe ou La faillite du réductionnisme" / Jean-Yves Girard.
Description: 178 p. : ill., couv. ill. ; 18 cm.
Contents: I. La démonstration de Gödel / par Ernest Nagel & James R. Newman ; traduit de l'anglais, Gödel's proof --
II. Sur les propositions formellement indécidables de Principia Mathematica et des systèmes apparentés I / par Kurt Gödel ; traduit de l'allemand, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I --
III. Le champ du signe ou la faillite du réductionnisme / par Jean-Yves Girard.
Series Title: Points. Sciences, 122
Responsibility: Ernest Nagel, James R. Newman, Kurt Gödel ... [et al.] ; trad. de l'anglais et de l'allemand par Jean-Baptiste Scherrer.
More information:

Abstract:

En 1931, Kurt Godel démontrait, dans un article révolutionnaire, l'incomplétude de tout système axiomatique contenant la théorie des nombres. Apparemment très technique, ce théorème bouleversait de fond en comble la philosophie des mathématiques.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/416912675> # Le théorème de Gödel
    a schema:Book, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/416912675#CreativeWork/unidentifiedOriginalWork> ;
   library:oclcnum "416912675" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/346066139#Place/paris> ; # Paris
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   schema:about <http://dewey.info/class/160/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/346066139#Topic/decidabilite_logique_mathematique> ; # Décidabilité (Logique mathématique)
   schema:about <http://experiment.worldcat.org/entity/work/data/346066139#Topic/godel_theoreme_de> ; # Gödel, Théorème de
   schema:about <http://experiment.worldcat.org/entity/work/data/346066139#Topic/theoreme_godel> ; # théorème Gödel
   schema:about <http://experiment.worldcat.org/entity/work/data/346066139#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/346066139#Topic/mathematiques_philosophie> ; # Mathématiques--Philosophie
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/108245652> ; # Ernest Nagel
   schema:contributor <http://viaf.org/viaf/79064341> ; # Jean-Baptiste Scherrer
   schema:contributor <http://viaf.org/viaf/84575083> ; # Jean-Yves Girard
   schema:contributor <http://viaf.org/viaf/74426625> ; # James R. Newman
   schema:contributor <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:datePublished "1997" ;
   schema:description "I. La démonstration de Gödel / par Ernest Nagel & James R. Newman ; traduit de l'anglais, Gödel's proof -- II. Sur les propositions formellement indécidables de Principia Mathematica et des systèmes apparentés I / par Kurt Gödel ; traduit de l'allemand, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I -- III. Le champ du signe ou la faillite du réductionnisme / par Jean-Yves Girard."@fr ;
   schema:description "En 1931, Kurt Godel démontrait, dans un article révolutionnaire, l'incomplétude de tout système axiomatique contenant la théorie des nombres. Apparemment très technique, ce théorème bouleversait de fond en comble la philosophie des mathématiques."@fr ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/346066139> ;
   schema:inLanguage "fr" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/346066139#Series/points_sciences> ; # Points. Sciences ;
   schema:name "Le théorème de Gödel"@fr ;
   schema:numberOfPages "178" ;
   schema:productID "416912675" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/416912675#PublicationEvent/paris_ed_du_seuil_1997_45_manchecourt_impr_maury_eurolivres> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/346066139#Agent/ed_du_seuil> ; # Éd. du Seuil
   schema:workExample <http://worldcat.org/isbn/9782020327787> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/416912675> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/346066139#Series/points_sciences> # Points. Sciences ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/416912675> ; # Le théorème de Gödel
   schema:name "Points. Sciences ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/346066139#Topic/decidabilite_logique_mathematique> # Décidabilité (Logique mathématique)
    a schema:Intangible ;
   schema:name "Décidabilité (Logique mathématique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/346066139#Topic/godel_theoreme_de> # Gödel, Théorème de
    a schema:Intangible ;
   schema:name "Gödel, Théorème de"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/346066139#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/346066139#Topic/mathematiques_philosophie> # Mathématiques--Philosophie
    a schema:Intangible ;
   schema:name "Mathématiques--Philosophie"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/346066139#Topic/theoreme_godel> # théorème Gödel
    a schema:Intangible ;
   schema:name "théorème Gödel"@fr ;
    .

<http://viaf.org/viaf/108245652> # Ernest Nagel
    a schema:Person ;
   schema:birthDate "1901" ;
   schema:deathDate "1985" ;
   schema:familyName "Nagel" ;
   schema:givenName "Ernest" ;
   schema:name "Ernest Nagel" ;
    .

<http://viaf.org/viaf/74426625> # James R. Newman
    a schema:Person ;
   schema:familyName "Newman" ;
   schema:givenName "James R." ;
   schema:name "James R. Newman" ;
    .

<http://viaf.org/viaf/79064341> # Jean-Baptiste Scherrer
    a schema:Person ;
   schema:birthDate "19.." ;
   schema:deathDate "" ;
   schema:familyName "Scherrer" ;
   schema:givenName "Jean-Baptiste" ;
   schema:name "Jean-Baptiste Scherrer" ;
    .

<http://viaf.org/viaf/84575083> # Jean-Yves Girard
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Girard" ;
   schema:givenName "Jean-Yves" ;
   schema:name "Jean-Yves Girard" ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://worldcat.org/isbn/9782020327787>
    a schema:ProductModel ;
   schema:isbn "2020327783" ;
   schema:isbn "9782020327787" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.