Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum : Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 / edited by Peter Schuster, Ulrich Berger, Horst Osswald.
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 dista...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Other title: | Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999. |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2001.
|
| Series: | Synthese library ;
306. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | b8000054 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 130125s2001 ne o 000 0 eng | ||
| 005 | 20240418145327.5 | ||
| 020 | |a 9789401597579 |q (electronic bk.) | ||
| 020 | |a 940159757X |q (electronic bk.) | ||
| 020 | |z 9789048158850 | ||
| 020 | |z 9048158850 | ||
| 020 | |z 940159757X | ||
| 024 | 7 | |a 10.1007/978-94-015-9757-9 | |
| 035 | |a (OCoLC)spr851372247 | ||
| 035 | |a (OCoLC)851372247 | ||
| 037 | |a spr978-94-015-9757-9 | ||
| 040 | |a AU@ |b eng |e pn |c AU@ |d GW5XE |d OCLCF |d UA@ |d COO |d OCLCQ |d UAB |d OCLCQ |d U3W |d LEAUB |d COD |d OCLCQ | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA8.9-10.3 | |
| 100 | 1 | |a Schuster, Peter, |d 1966- | |
| 245 | 1 | 0 | |a Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum : |b Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 / |c edited by Peter Schuster, Ulrich Berger, Horst Osswald. |
| 246 | 3 | |a Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999. | |
| 260 | |a Dordrecht : |b Springer Netherlands, |c 2001. | ||
| 300 | |a 1 online resource (xiii, 329 pages) | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; |v 306. | |
| 505 | 0 | |a Nonstandard construction of stable type Euclidean random field measures -- The continuum in smooth infinitesimal analysis -- Constructive unbounded operators -- The points of (locally) compact regular formal topologies -- Embedding a linear subset of ß(H) in the dual of its predual -- Nonstandard analysis by means of ideal values of sequences -- Nilpotent infinitesimals and synthetic differential geometry in classical logic -- On hyperfinite approximations of the field R -- Various continuity properties in constructive analysis -- Loeb measures and Borel algebras -- On Brouwerian bar induction -- Curt Schmieden's approach to infinitesimals. An eye-opener to the historiography of analysis -- A sequent calculus for constructive ordered fields -- The Puritz order and its relationship to the Rudin-Keisler order -- Unifying constructive and nonstandard analysis -- Positive lattices -- Constructive mathematics without choice -- Pointwise differentiability -- On Conway numbers and generalized real numbers -- The constructive content of nonstandard measure existence proofs -- is there any? -- Kruskal's tree theorem in a constructive theory of inductive definitions -- Real numbers and functions exhibited in dialogues -- WIJN/On the quantitative structure of?20 -- Understanding and using Brouwer's continuity principle -- Peirce and the continuum from a philosophical point of view. | |
| 520 | |a 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. | ||
| 650 | 0 | |a Mathematics. | |
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Global analysis (Mathematics) | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 7 | |a Global analysis (Mathematics) |2 fast |0 (OCoLC)fst00943472. | |
| 650 | 7 | |a Logic. |2 fast |0 (OCoLC)fst01002014. | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068. | |
| 650 | 7 | |a Mathematics. |2 fast |0 (OCoLC)fst01012163. | |
| 700 | 1 | |a Berger, Ulrich. | |
| 700 | 1 | |a Osswald, Horst. | |
| 776 | 0 | 8 | |i Print version: |z 9789048158850. |
| 830 | 0 | |a Synthese library ; |v 306. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-94-015-9757-9 |z Full Text (via Springer) |
| 907 | |a .b8000054x |b 11-22-21 |c 06-01-15 | ||
| 998 | |a web |b - - |c f |d b |e - |f eng |g ne |h 0 |i 1 | ||
| 915 | |a M | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Mathematics | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Mathematics | ||
| 956 | |a Humanities Social Science & Law | ||
| 956 | |a Springer e-books: Archive | ||
| 999 | f | f | |i 67db46e2-a997-5ed2-9b93-dcbab0b42747 |s 298953ea-8cec-5287-b1f8-278c523d4b89 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA8.9-10.3 |h Library of Congress classification |i Ebooks, Prospector |n 1 |