Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
by Peter Schuster
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.
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum: Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
Mar 14, 2014, Springer
paperback
9401597588 9789401597586
|
zzzz
Libraries near you:
WorldCat
|
2
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum: Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
2001, Springer Netherlands
electronic resource :
in English
9048158850 9789048158850
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 26, 2022 | Edited by ImportBot | import existing book |
| July 6, 2019 | Created by MARC Bot | import new book |