株式会社極東書店トップ ＞ 商品一覧 ＞ Mathematical Intuitionism.
商品詳細
Mathematical Intuitionism.
・ISBN 978-1-108-72302-2 paper GB£ 18.00
￥5,702.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-1-108-67448-5
| 著者・編者 | Posy, Carl J., |
|---|---|
| シリーズ | Elements in the Philosophy of Mathematics |
| 出版社 | (Cambridge U. Pr., UK) |
| 出版年月 | 2020.11 |
| ページ数 | 75 pp. |
| 言語 | ENG |
| ニュース番号 | ＜660-L210 660-P412＞ |
解説
L. E. J. Brouwer, the founder of mathematical intuitionism, believed that mathematics and its objects must be humanly graspable. He initiated a program rebuilding modern mathematics according to that principle. This book introduces the reader to the mathematical core of intuitionism - from elementary number theory through to Brouwer's uniform continuity theorem - and to the two central topics of 'formalized intuitionism': formal intuitionistic logic, and formal systems for intuitionistic analysis. Building on that, the book proposes a systematic, philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.