<電子ブック>
Essays on the Foundations of Mathematics by Moritz Pasch / edited by Stephen Pollard
(The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields. ISSN:22151974 ; 83)
版 | 1st ed. 2010. |
---|---|
出版者 | (Dordrecht : Springer Netherlands : Imprint: Springer) |
出版年 | 2010 |
本文言語 | 英語 |
大きさ | XII, 248 p : online resource |
著者標目 | Pollard, Stephen editor SpringerLink (Online service) |
件 名 | LCSH:Mathematics LCSH:History LCSH:Philosophy LCSH:Science -- Philosophy 全ての件名で検索 FREE:History of Mathematical Sciences FREE:Philosophy FREE:Philosophy of Science |
一般注記 | Translator’s Introduction -- Fundamental Questions of Geometry -- The Decidability Requirement -- The Origin of the Concept of Number -- Implicit Definition and the Proper Grounding of Mathematics -- Rigid Bodies in Geometry -- Prelude to Geometry: The Essential Ideas -- Physical and Mathematical Geometry -- Natural Geometry -- The Concept of the Differential -- Reflections on the Proper Grounding of Mathematics I -- Concepts and Proofs in Mathematics -- Dimension and Space in Mathematics -- Reflections on the Proper Grounding of Mathematics II -- The Axiomatic Method in Modern Mathematics Moritz Pasch (1843-1930) is justly celebrated as a key figure in the history of axiomatic geometry. Less well known are his contributions to other areas of foundational research. This volume features English translations of 14 papers Pasch published in the decade 1917-1926. In them, Pasch argues that geometry and, more surprisingly, number theory are branches of empirical science; he provides axioms for the combinatorial reasoning essential to Hilbert’s program of consistency proofs; he explores "implicit definition" (a generalization of definition by abstraction) and indicates how this technique yields an "empiricist" reconstruction of set theory; he argues that we cannot fully understand the logical structure of mathematics without clearly distinguishing between decidable and undecidable properties; he offers a rare glimpse into the mind of a master of axiomatics, surveying in detail the thought experiments he employed as he struggled to identify fundamental mathematical principles; and much more. This volume will: Give English speakers access to an important body of work from a turbulent and pivotal period in the history of mathematics. Help us look beyond the familiar triad of formalism, intuitionism, and logicism. Show how deeply we can see with the help of a guide determined to present fundamental mathematical ideas in ways that match our human capacities. The book will be of interest to graduate students and researchers in logic and the foundations of mathematics HTTP:URL=https://doi.org/10.1007/978-90-481-9416-2 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9789048194162 |
|
電子リソース |
|
EB00233977 |
類似資料
この資料の利用統計
このページへのアクセス回数:1回
※2017年9月4日以降