Marcus Giaquinto traces the story of the search for firm foundations for mathematics. The nineteenth century saw a movement to make higher mathematics rigorous; this seemed to be on the brink of success when it was thrown into confusion by the discovery of the class paradoxes. That initiated a period of intense research into the foundations of mathematics, and with it the birth of mathematical logic and a new, sharper debate in the philosophy of mathematics. The Search for Certainty focuses mainly on two major twentieth-century programmes: Russell's logicism and Hilbert's finitism. Giaquinto examines their philosophical underpinnings and their outcomes, asking how successful they were, and how successful they could be, in placing mathematics on a sound footing. He sets these questions in the context of a clear, non-technical exposition and assessment of the most important discoveries in mathematical logic, above all Godel's underivability theorems. More than six decades after those discoveries Giaquinto asks what our present perspective should be on the question of certainty in mathematics. Taking recent developments into account, he gives reasons for a surprisingly positive response.
具體描述
讀後感
評分
評分
評分
評分
用戶評價
謝謝你教給我哥德爾定理對希爾伯特計劃的影響【比哈特】
评分謝謝你教給我哥德爾定理對希爾伯特計劃的影響【比哈特】
评分謝謝你教給我哥德爾定理對希爾伯特計劃的影響【比哈特】
评分謝謝你教給我哥德爾定理對希爾伯特計劃的影響【比哈特】
评分謝謝你教給我哥德爾定理對希爾伯特計劃的影響【比哈特】
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有