skip to content
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 Preview this item
ClosePreview this item
Checking...

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

Author: Jean Ladrière
Publisher: Sceaux : Editions Jacques Gabay, 1992
Series: Grands classiques Gauthier-Villars.
Edition/Format:   Print book : FrenchView all editions and formats
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: Jean Ladrière
ISBN: 287647087X 9782876470873
OCLC Number: 489634597
Notes: Fac-sim. de l'éd. de Louvain : E. Nauwelaerts ; Paris : Gauthiers-Villars, 1957, parue dans la collection de Logique mathématique.
Description: XIII-715-26 color ; 18 x 25 cm.
Series Title: Grands classiques Gauthier-Villars.
Responsibility: Jean Ladrière.
More information:

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/489634597> # 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
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "489634597" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/365128082#Place/sceaux> ; # Sceaux
    schema:about <http://experiment.worldcat.org/entity/work/data/365128082#Topic/arithmetique_fondements> ; # Arithmétique--Fondements
    schema:about <http://experiment.worldcat.org/entity/work/data/365128082#Topic/formalisme_logique_mathematique_theoreme_de_godel> ; # formalisme--logique mathématique--théorème de Gödel
    schema:about <http://experiment.worldcat.org/entity/work/data/365128082#Topic/formalisme_mathematiques> ; # Formalisme (mathématiques)
    schema:about <http://experiment.worldcat.org/entity/work/data/365128082#Topic/formalisme> ; # formalisme
    schema:about <http://experiment.worldcat.org/entity/work/data/365128082#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/365128082#Topic/godel_theoreme_de> ; # Gödel, Théorème de
    schema:about <http://id.worldcat.org/fast/1018261> ; # Metamathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/365128082#Topic/mathematiques_fondements> ; # Mathématiques--Fondements
    schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
    schema:about <http://dewey.info/class/510/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85082153> ; # Mathematics--Philosophy
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/12310853> ; # Jean Ladrière
    schema:datePublished "1992" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/365128082> ;
    schema:inLanguage "fr" ;
    schema:isPartOf <http://worldcat.org/issn/0989-0602> ; # Les Grands classiques Gauthier-Villars,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/365128082#Series/grands_classiques_gauthier_villars> ; # Grands classiques Gauthier-Villars.
    schema:name "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"@fr ;
    schema:productID "489634597" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/489634597#PublicationEvent/sceaux_editions_jacques_gabay_1992_53_mayenne_impr_de_la_manutention> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/365128082#Agent/editions_jacques_gabay> ; # Editions Jacques Gabay
    schema:workExample <http://worldcat.org/isbn/9782876470873> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/489634597> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/365128082#Agent/editions_jacques_gabay> # Editions Jacques Gabay
    a bgn:Agent ;
    schema:name "Editions Jacques Gabay" ;
    .

<http://experiment.worldcat.org/entity/work/data/365128082#Series/grands_classiques_gauthier_villars> # Grands classiques Gauthier-Villars.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/489634597> ; # 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
    schema:name "Grands classiques Gauthier-Villars." ;
    .

<http://experiment.worldcat.org/entity/work/data/365128082#Topic/arithmetique_fondements> # Arithmétique--Fondements
    a schema:Intangible ;
    schema:name "Arithmétique--Fondements"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/365128082#Topic/formalisme_logique_mathematique_theoreme_de_godel> # formalisme--logique mathématique--théorème de Gödel
    a schema:Intangible ;
    schema:name "formalisme--logique mathématique--théorème de Gödel"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/365128082#Topic/formalisme_mathematiques> # Formalisme (mathématiques)
    a schema:Intangible ;
    schema:name "Formalisme (mathématiques)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/365128082#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/365128082#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/365128082#Topic/mathematiques_fondements> # Mathématiques--Fondements
    a schema:Intangible ;
    schema:name "Mathématiques--Fondements"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85082153> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@fr ;
    .

<http://id.worldcat.org/fast/1012213> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@fr ;
    .

<http://id.worldcat.org/fast/1018261> # Metamathematics
    a schema:Intangible ;
    schema:name "Metamathematics"@fr ;
    .

<http://viaf.org/viaf/12310853> # Jean Ladrière
    a schema:Person ;
    schema:birthDate "1921" ;
    schema:deathDate "2007" ;
    schema:familyName "Ladrière" ;
    schema:givenName "Jean" ;
    schema:name "Jean Ladrière" ;
    .

<http://worldcat.org/isbn/9782876470873>
    a schema:ProductModel ;
    schema:isbn "287647087X" ;
    schema:isbn "9782876470873" ;
    .

<http://worldcat.org/issn/0989-0602> # Les Grands classiques Gauthier-Villars,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/489634597> ; # 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
    schema:issn "0989-0602" ;
    schema:name "Les Grands classiques Gauthier-Villars," ;
    .

<http://www.worldcat.org/title/-/oclc/489634597>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/489634597> ; # 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
    schema:dateModified "2018-05-16" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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