| 書目名稱 | Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum |
| 副標題 | Symposium Proceeding |
| 編輯 | Peter Schuster,Ulrich Berger,Horst Osswald |
| 視頻video | http://file.papertrans.cn/830/829337/829337.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Synthese Library |
| 圖書封面 |  |
| 描述 | .At first glance, Robinson‘s original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. Recent developments, however, have given rise to the hope that the distance between constructive and nonstandard mathematics is actually much smaller than it appears. So the time was ripe for the first meeting dedicated simultaneously to both ways of doing mathematics – and to the current and future reunion of these seeming opposites. ..Consisting of peer-reviewed research and survey articles written on the occasion of such an event, this volume offers views of the continuum from various standpoints. Including historical and philosophical issues, the topics of the contributions range from the foundations, the practice, and the applications of constructive and nonstandard mathematics, to the interplay of these areas and the development of a unified theory. . |
| 出版日期 | Conference proceedings 2001 |
| 關鍵詞 | calculus; differential equation; logic; measure; proof; sequent calculus; set theory |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-015-9757-9 |
| isbn_softcover | 978-90-481-5885-0 |
| isbn_ebook | 978-94-015-9757-9Series ISSN 0166-6991 Series E-ISSN 2542-8292 |
| issn_series | 0166-6991 |
| copyright | Springer Science+Business Media Dordrecht 2001 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2026-1-22 03:14
發(fā)表于 2025-3-21 16:03:46
