Cargando…
Reuniting the Antipodes : Constructive and Nonstandard Views of the Continuum : Symposium Proceedings
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...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2001
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-94-015-9757-9 http://cds.cern.ch/record/2740659 |