Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorDetlefsen, Michael. author
TitleHilbert's Program [electronic resource] : An Essay on Mathematical Instrumentalism / by Michael Detlefsen
ImprintDordrecht : Springer Netherlands : Imprint: Springer, 1986
Connect to
Descript XIV, 186 p. online resource


Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accordยญ ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, therefore, to be seen as a struggle between a mind that naturally works in one way and a reality that works in another. Knowledge occurs when the two cooperate. Conceived in this way, there are two basic alternatives for mathematical epistemology: a skeptical position which maintains either that mind and reality seldom or never come to agreement, or that we have no very reliable way of telling when they do; and a non-skeptical position which holds that there is significant agreeยญ ment between mind and reality, and that their potential discrepanยญ cies can be detected, avoided, and thus kept in check. Of these two, Hilbert clearly embraced the latter, and proposed a program designed to vindicate the epistemological riches represented by our natural, if non-literal, ways of thinking. Brouwer, on the other hand, opted for a position closer (in Hilbert's opinion) to that of the skeptic. Having decided that epistemological purity could come only through sacrifice, he turned his back on his classical heritage to accept a higher calling


I: The Philosophical Fundamentals of Hilbert's Program -- II: A Closer Look at the Problems -- III: The Gรถdelian Challenge -- IV: The Stability Problem -- V: The Convergence Problem and the Problem of Strict Instrumentalism -- Appendix: Hilbert's Program and the First Theorem -- References

Philosophy Logic Mathematics History Mathematical logic Philosophy Logic History of Mathematical Sciences Mathematical Logic and Foundations


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram