| 书目名称 | Reflections on the Foundations of Mathematics | | 副标题 | Univalent Foundation | | 编辑 | Stefania Centrone,Deborah Kant,Deniz Sarikaya | | 视频video | | | 概述 | Presents some of the most important scholars in the fields of set theory, univalent foundations and philosophy of mathematics.Considers criteria for a suitable foundation in mathematics, fostering int | | 丛书名称 | Synthese Library | | 图书封面 |  | | 描述 | .This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives..The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories..This book shares the work of some of the most import | | 出版日期 | Book 2019 | | 关键词 | Foundations of Mathematics; Philosophy of Mathematics; Philosophy of Set Theory; Univalent foundations; | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-15655-8 | | isbn_softcover | 978-3-030-15657-2 | | isbn_ebook | 978-3-030-15655-8Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | Springer Nature Switzerland AG 2019 |
The information of publication is updating
|
|
发表于 2025-3-21 19:03:36
