skip to content
Hilbert's program : an essay on mathematical instrumentalism Preview this item
ClosePreview this item
Checking...

Hilbert's program : an essay on mathematical instrumentalism

Author: Michael Detlefsen
Publisher: Dordrecht ; Boston : D. Reidel ; Hingham, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic, ©1986.
Series: Synthese library, v. 182.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Named Person: David Hilbert; David Hilbert; David Hilbert; David Hilbert; David Hilbert
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Michael Detlefsen
ISBN: 9027721513 9789027721518
OCLC Number: 13334008
Description: xiv, 186 pages ; 23 cm.
Contents: I: The Philosophical Fundamentals of Hilbert's Program.- II: A Closer Look at the Problems.- III: The Godelian Challenge.- IV: The Stability Problem.- V: The Convergence Problem and the Problem of Strict Instrumentalism.- Appendix: Hilbert's Program and the First Theorem.- References.
Series Title: Synthese library, v. 182.
Responsibility: Michael Detlefsen.
More information:

Reviews

Editorial reviews

Publisher Synopsis

'The book is well written and recommended reading for everyone interested in the philosophical dimensions of technical results from foundations of mathematics and pure logic.' S. Gottwald, Read more...

 
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/13334008> # Hilbert's program : an essay on mathematical instrumentalism
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "13334008" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/807475355#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/807475355#Place/hingham_ma_u_s_a> ; # Hingham, MA, U.S.A.
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   schema:about <http://experiment.worldcat.org/entity/work/data/807475355#Topic/hilbert_problemes_de> ; # Hilbert, Problèmes de
   schema:about <http://dewey.info/class/510.1/e19/> ;
   schema:about <http://viaf.org/viaf/46779749> ; # David Hilbert
   schema:about <http://experiment.worldcat.org/entity/work/data/807475355#Thing/mathematics_philosophical_perspectives> ; # Mathematics - Philosophical perspectives
   schema:about <http://experiment.worldcat.org/entity/work/data/807475355#Person/hilbert_david_1862_1943> ; # David Hilbert
   schema:about <http://id.loc.gov/authorities/subjects/sh85082153> ; # Mathematics--Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/807475355#Topic/filosofie> ; # Filosofie
   schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/807475355#Topic/filosofia_da_matematica> ; # Filosofia da matemática
   schema:about <http://experiment.worldcat.org/entity/work/data/807475355#Topic/mathematiques_philosophie> ; # Mathématiques--Philosophie
   schema:about <http://experiment.worldcat.org/entity/work/data/807475355#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/807475355#Topic/wiskunde> ; # Wiskunde
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1986" ;
   schema:creator <http://viaf.org/viaf/278708959> ; # Michael Detlefsen
   schema:datePublished "1986" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/807475355> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/807475355#Series/synthese_library> ; # Synthese library ;
   schema:name "Hilbert's program : an essay on mathematical instrumentalism"@en ;
   schema:productID "13334008" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/13334008#PublicationEvent/dordrecht_boston_d_reidel_hingham_ma_u_s_a_sold_and_distributed_in_the_u_s_a_and_canada_by_kluwer_academic_1986> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/807475355#Agent/d_reidel> ; # D. Reidel
   schema:publisher <http://experiment.worldcat.org/entity/work/data/807475355#Agent/sold_and_distributed_in_the_u_s_a_and_canada_by_kluwer_academic> ; # Sold and distributed in the U.S.A. and Canada by Kluwer Academic
   schema:url <http://swbplus.bsz-bw.de/bsz011821345cov.htm> ;
   schema:url <http://www.gbv.de/dms/hbz/toc/ht002720578.pdf> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1908974&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:workExample <http://worldcat.org/isbn/9789027721518> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8813821> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/13334008> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/807475355#Agent/sold_and_distributed_in_the_u_s_a_and_canada_by_kluwer_academic> # Sold and distributed in the U.S.A. and Canada by Kluwer Academic
    a bgn:Agent ;
   schema:name "Sold and distributed in the U.S.A. and Canada by Kluwer Academic" ;
    .

<http://experiment.worldcat.org/entity/work/data/807475355#Person/hilbert_david_1862_1943> # David Hilbert
    a schema:Person ;
   schema:birthDate "1862" ;
   schema:deathDate "1943" ;
   schema:familyName "Hilbert" ;
   schema:givenName "David" ;
   schema:name "David Hilbert" ;
    .

<http://experiment.worldcat.org/entity/work/data/807475355#Place/hingham_ma_u_s_a> # Hingham, MA, U.S.A.
    a schema:Place ;
   schema:name "Hingham, MA, U.S.A." ;
    .

<http://experiment.worldcat.org/entity/work/data/807475355#Series/synthese_library> # Synthese library ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/13334008> ; # Hilbert's program : an essay on mathematical instrumentalism
   schema:name "Synthese library ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/807475355#Thing/mathematics_philosophical_perspectives> # Mathematics - Philosophical perspectives
    a schema:Thing ;
   schema:name "Mathematics - Philosophical perspectives" ;
    .

<http://experiment.worldcat.org/entity/work/data/807475355#Topic/filosofia_da_matematica> # Filosofia da matemática
    a schema:Intangible ;
   schema:name "Filosofia da matemática"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/807475355#Topic/hilbert_problemes_de> # Hilbert, Problèmes de
    a schema:Intangible ;
   schema:name "Hilbert, Problèmes de"@en ;
    .

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

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

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

<http://viaf.org/viaf/278708959> # Michael Detlefsen
    a schema:Person ;
   schema:birthDate "1948" ;
   schema:familyName "Detlefsen" ;
   schema:givenName "Michael" ;
   schema:name "Michael Detlefsen" ;
    .

<http://viaf.org/viaf/46779749> # David Hilbert
    a schema:Person ;
   schema:birthDate "1862" ;
   schema:deathDate "1943" ;
   schema:familyName "Hilbert" ;
   schema:givenName "David" ;
   schema:name "David Hilbert" ;
    .

<http://worldcat.org/isbn/9789027721518>
    a schema:ProductModel ;
   schema:isbn "9027721513" ;
   schema:isbn "9789027721518" ;
    .

<http://www.worldcat.org/title/-/oclc/13334008#PublicationEvent/dordrecht_boston_d_reidel_hingham_ma_u_s_a_sold_and_distributed_in_the_u_s_a_and_canada_by_kluwer_academic_1986>
    a schema:PublicationEvent ;
   schema:location <http://experiment.worldcat.org/entity/work/data/807475355#Place/hingham_ma_u_s_a> ; # Hingham, MA, U.S.A.
   schema:location <http://dbpedia.org/resource/Boston> ; # Boston
   schema:location <http://experiment.worldcat.org/entity/work/data/807475355#Place/dordrecht> ; # Dordrecht
   schema:organizer <http://experiment.worldcat.org/entity/work/data/807475355#Agent/sold_and_distributed_in_the_u_s_a_and_canada_by_kluwer_academic> ; # Sold and distributed in the U.S.A. and Canada by Kluwer Academic
   schema:organizer <http://experiment.worldcat.org/entity/work/data/807475355#Agent/d_reidel> ; # D. Reidel
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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