Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Synthese Library (SYLI, volume 306)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (25 papers)
-
Back Matter
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Book Subtitle: Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999
Editors: Peter Schuster, Ulrich Berger, Horst Osswald
Series Title: Synthese Library
DOI: https://doi.org/10.1007/978-94-015-9757-9
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2001
Hardcover ISBN: 978-1-4020-0152-9Published: 31 January 2002
Softcover ISBN: 978-90-481-5885-0Published: 06 December 2010
eBook ISBN: 978-94-015-9757-9Published: 14 March 2013
Series ISSN: 0166-6991
Series E-ISSN: 2542-8292
Edition Number: 1
Number of Pages: XIII, 329
Topics: Mathematical Logic and Foundations, Analysis, Logic
Industry Sectors: IT & Software