skip to content
Les principes des mathématiques revisités Preview this item
ClosePreview this item
Checking...

Les principes des mathématiques revisités

Author: Jaakko Hintikka; Manuel Rebuschi
Publisher: Paris : J. Vrin, 2007.
Series: Mathesis
Edition/Format:   Print book : FrenchView all editions and formats
Summary:
"Ce titre marque l'ambition d'un renouvellement des fondements de la logique et des mathématiques un siècle après l'âge d'or du logicisme. L'auteur dispose pour cela de moyens nouveaux, la sématique des jeux et la logique faite pour l'indépendance, qu'il a développés depuis les années 1980.
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: Jaakko Hintikka; Manuel Rebuschi
ISBN: 9782711617395 2711617394
OCLC Number: 421946826
Description: 1 v. (318 p.) ; 22 cm.
Contents: Les Fonctions de la logique et le problème de la définition de la vérité . Le jeu de la logique . L'Erreur de Frege déjouée : Logique IF, ou la logique faite pour l'indépendance . Les Joies de l'indépendance ; quelques usages de la logique IF . Les Complexités de la complétude . Qui a peur d'Alfred Tarski? Les définitions de la vérité pour les langages du premier ordre IF . Le Menteur démenti : la négation en logique IF . La Théorie axiomatique des ensembles : Le Monstre de Frankelstein? . La Logique IF comme cadre de théorisation méthématique . Le Constructivisme reconstruit . L'Epistémologie de objets mathématiques.
Series Title: Mathesis
Responsibility: Jaakko Hintikka ; avec un appendice inédit de Gabriel Sandru ; préfacé et traduit par Manuel Rebuschi.
More information:

Abstract:

"Ce titre marque l'ambition d'un renouvellement des fondements de la logique et des mathématiques un siècle après l'âge d'or du logicisme. L'auteur dispose pour cela de moyens nouveaux, la sématique des jeux et la logique faite pour l'indépendance, qu'il a développés depuis les années 1980.

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/421946826> # Les principes des mathématiques revisités
    a schema:Book, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/421946826#CreativeWork/unidentifiedOriginalWork> ;
   library:oclcnum "421946826" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2908447556#Place/paris> ; # Paris
   schema:about <http://experiment.worldcat.org/entity/work/data/2908447556#Topic/mathematique> ; # Mathématique
   schema:about <http://dewey.info/class/510.1/> ;
   schema:about <http://id.loc.gov/authorities/classification/B4715H53> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2908447556#Topic/philosophie> ; # Philosophie
   schema:about <http://experiment.worldcat.org/entity/work/data/2908447556#Topic/mathematiques> ; # mathématiques
   schema:about <http://experiment.worldcat.org/entity/work/data/2908447556#Topic/mathematiques_philosophie> ; # mathématiques--* philosophie
   schema:about <http://experiment.worldcat.org/entity/work/data/2908447556#Topic/logique_du_premier_ordre> ; # Logique du premier ordre
   schema:about <http://experiment.worldcat.org/entity/work/data/2908447556#Topic/logique_philosophie> ; # Logique (Philosophie)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/44599228> ; # Manuel Rebuschi
   schema:creator <http://viaf.org/viaf/108163100> ; # Jaakko Hintikka
   schema:datePublished "2007" ;
   schema:description "Les Fonctions de la logique et le problème de la définition de la vérité . Le jeu de la logique . L'Erreur de Frege déjouée : Logique IF, ou la logique faite pour l'indépendance . Les Joies de l'indépendance ; quelques usages de la logique IF . Les Complexités de la complétude . Qui a peur d'Alfred Tarski? Les définitions de la vérité pour les langages du premier ordre IF . Le Menteur démenti : la négation en logique IF . La Théorie axiomatique des ensembles : Le Monstre de Frankelstein? . La Logique IF comme cadre de théorisation méthématique . Le Constructivisme reconstruit . L'Epistémologie de objets mathématiques."@fr ;
   schema:description ""Ce titre marque l'ambition d'un renouvellement des fondements de la logique et des mathématiques un siècle après l'âge d'or du logicisme. L'auteur dispose pour cela de moyens nouveaux, la sématique des jeux et la logique faite pour l'indépendance, qu'il a développés depuis les années 1980."@fr ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2908447556> ;
   schema:inLanguage "fr" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2908447556#Series/mathesis> ; # Mathesis
   schema:name "Les principes des mathématiques revisités"@fr ;
   schema:productID "421946826" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/421946826#PublicationEvent/paris_j_vrin_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2908447556#Agent/j_vrin> ; # J. Vrin
   schema:workExample <http://worldcat.org/isbn/9782711617395> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/421946826> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2908447556#Series/mathesis> # Mathesis
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/421946826> ; # Les principes des mathématiques revisités
   schema:name "Mathesis" ;
    .

<http://experiment.worldcat.org/entity/work/data/2908447556#Topic/logique_du_premier_ordre> # Logique du premier ordre
    a schema:Intangible ;
   schema:name "Logique du premier ordre"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2908447556#Topic/logique_philosophie> # Logique (Philosophie)
    a schema:Intangible ;
   schema:name "Logique (Philosophie)"@fr ;
    .

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

<http://viaf.org/viaf/108163100> # Jaakko Hintikka
    a schema:Person ;
   schema:birthDate "1929" ;
   schema:familyName "Hintikka" ;
   schema:givenName "Jaakko" ;
   schema:name "Jaakko Hintikka" ;
    .

<http://viaf.org/viaf/44599228> # Manuel Rebuschi
    a schema:Person ;
   schema:birthDate "19.." ;
   schema:deathDate "" ;
   schema:familyName "Rebuschi" ;
   schema:givenName "Manuel" ;
   schema:name "Manuel Rebuschi" ;
    .

<http://worldcat.org/isbn/9782711617395>
    a schema:ProductModel ;
   schema:isbn "2711617394" ;
   schema:isbn "9782711617395" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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