Newsletter   Secure Checkout   View Cart (0 items)  
Search:    Welcome Guest! Save up to 30-40% on most items with our awesome everyday discounts!
Hilbert's Program: An Essay on Mathematical Instrumentalism (Synthese Library) [Hardcover]

Hilbert's Program: An Essay on Mathematical Instrumentalism (Synthese Library) [Hardcover]

By M. Detlefsen (Author)
Our Price $ 215.26  
Retail Value $ 229.00  
You Save $ 13.74  
Item Number 190936  
Buy New $215.26
Available on the Internet only.

Item description for Hilbert's Program: An Essay on Mathematical Instrumentalism (Synthese Library) by M. Detlefsen...

Hilbert's Program: An Essay on Mathematical Instrumentalism (Synthese Library) by M. Detlefsen

Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at!

Item Specifications...

Studio: Springer
Pages   204
Est. Packaging Dimensions:   Length: 9.54" Width: 6.5" Height: 1.18"
Weight:   1.05 lbs.
Binding  Hardcover
Release Date   Apr 30, 1986
Publisher   Springer
ISBN  9027721513  
ISBN13  9789027721518  

Availability  140 units.
Availability accurate as of May 24, 2017 02:25.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.

More About M. Detlefsen

Register your artisan biography and upload your photo! Are You The Artisan or Author behind this product?
Improve our customers experience by registering for an Artisan Biography Center Homepage.

Product Categories

1Books > Special Features > New & Used Textbooks > Sciences > Mathematics
2Books > Subjects > Nonfiction > Philosophy > General
3Books > Subjects > Nonfiction > Philosophy > Logic & Language
4Books > Subjects > Professional & Technical > Professional Science > Mathematics > Pure Mathematics > Logic
5Books > Subjects > Science > Mathematics > General
6Books > Subjects > Science > Mathematics > Pure Mathematics > Logic

Reviews - What do customers think about Hilbert's Program: An Essay on Mathematical Instrumentalism (Synthese Library)?

Hilbert defended against Gödel  Jul 23, 2009
Three arguments are raised against the standard view that Gödel's theorem proves the unfeasibility of Hilbert's programme:

(1) Gödel proved the nonprovability of a particular sentence (Con(T)) expressing the consistency of the system (T), but this does nothing to exclude the possibility that "there might still be some formula other than Con(T), expressing the same proposition that Con(T) expresses, that is provable in T." "Were this the case, the unprovability-in-T of Con(T) and its expression of T's consistency would best be taken as sheer coincidence." (p. 81).

(2) Gödel's result shows only that the consistency proof cannot be carried out *within the system itself,* but Hilbert is not committed to this. As Gödel himself said: his results "do not contradict Hilbert's formalistic viewpoint. For this viewpoint presupposes only the existence of a consistency proof in which nothing but finitary proof is used, and it is conceivable that there exist finitary proofs that cannot be expressed in the formalism [in question]" (p. 91). (Detlefsen tries to put his own spin on this argument by motivating it in terms of his "instrumentalist" interpretation of Hilbert, but it comes to the same thing.)

(3) Gödel's result shows that any system containing number theory will be unable to prove its own consistency. But to Hilbert formulas are largely "ideal" (as in "ideal numbers," "point at infinity," etc.), i.e., they are instruments invented to aid human thought. Therefore the consistency of this "ideal" formalism is of no interest in itself. The part of the formalism that is of any value excludes, for example, "all ideal proofs of real formulae that are to long or complex to be of any human epistemic utility" (p. 89). And since "'elementary number theory' ... designates an infinite system of proofs," "not every appreciable system of ideal proofs contains elementary number theory" (p. 87). "Thus, despite the Gödelian challenge, it may still prove possible to give both a finitary and a feasible demonstration of the soundness of the useful ideal methods." (p. 90). This is a weak argument, since it ignores the fact that Hilbert's programme is a mathematical research programme, and although Detlefsen's move may be philosophically safe it is obviously disastrous from this point of view.

Write your own review about Hilbert's Program: An Essay on Mathematical Instrumentalism (Synthese Library)

Ask A Question or Provide Feedback regarding Hilbert's Program: An Essay on Mathematical Instrumentalism (Synthese Library)

Item Feedback and Product Questions
For immediate assistance call 888.395.0572 during the hours of 10am thru 8pm EST Monday thru Friday and a customer care representative will be happy to help you!

Help us continuously improve our service by reporting your feedback or questions below:

I have a question regarding this product
The information above is incorrect or conflicting
The page has misspellings or incorrect grammar
The page did not load correctly in my browser or created an error.

Email Address:
Anti Spam Question. To combat spammers we require that you answer a simple question.
What color is the sky?
Leave This Blank :
Do Not Change This Text :

Add This Product Widget To Your Website

Looking to add this information to your own website? Then use our Product Widget to allow you to display product information in a frame that is 120 pixels wide by 240 pixels high.

    Copy and paste the following HTML into your website and enjoy!

Order toll-free weekdays 10am thru 10pm EST by phone: 1-888-395-0572 (Lines are closed on holidays & weekends.)
Customer Service | My Account | Track My Orders | Return Policy | Request Free Catalog | Email Newsletter

Gift Certificates
RSS Feeds
About Us
Contact Us
Terms Of Use
Privacy Policy