| 书目名称 | Logicism, Intuitionism, and Formalism | | 副标题 | What Has Become of T | | 编辑 | Sten Lindström,Erik Palmgren,Viggo Stoltenberg-Han | | 视频video | | | 概述 | Contains essays by world-leading experts in the philosophy and foundations of mathematics, describing current developments in the foundations of mathematics in a historical perspective.Analyses the cl | | 丛书名称 | Synthese Library | | 图书封面 |  | | 描述 | .The period in the foundations of mathematics that started in 1879 with the publication of Frege‘s .Begriffsschrift .and ended in 1931 with Gödel‘s .Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert‘s formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in the famous Hilbert-Brouwer controversy in the 1920s....The purpose of this anthology is to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classical period and the disputes that took place between them? To what extent do the classical programmes of logicism, intuitionism and formalism represent options that are still alive today? These questions are addressed in this volume by leading mathematical logicians and philosophers of math | | 出版日期 | Book 2009 | | 关键词 | Bertrand Russell; Formalism; Foundations of mathematics; Gottlob Frege; Intuitionism; Logicism; Philosophy | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4020-8926-8 | | isbn_softcover | 978-90-481-8029-5 | | isbn_ebook | 978-1-4020-8926-8Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | Springer Science+Business Media B.V. 2009 |
The information of publication is updating
书目名称Logicism, Intuitionism, and Formalism影响因子(影响力)
书目名称Logicism, Intuitionism, and Formalism影响因子(影响力)学科排名
书目名称Logicism, Intuitionism, and Formalism网络公开度
书目名称Logicism, Intuitionism, and Formalism网络公开度学科排名
书目名称Logicism, Intuitionism, and Formalism被引频次
书目名称Logicism, Intuitionism, and Formalism被引频次学科排名
书目名称Logicism, Intuitionism, and Formalism年度引用
书目名称Logicism, Intuitionism, and Formalism年度引用学科排名
书目名称Logicism, Intuitionism, and Formalism读者反馈
书目名称Logicism, Intuitionism, and Formalism读者反馈学科排名
|
|
|
发表于 2025-3-21 19:27:23
