Record:   Prev Next
作者 Schuster, Peter
書名 Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum [electronic resource] : Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 / edited by Peter Schuster, Ulrich Berger, Horst Osswald
出版項 Dordrecht : Springer Netherlands, 2001
國際標準書號 9789401597579 (electronic bk.)
940159757X (electronic bk.)
book jacket
說明 1 online resource (xiii, 329 p.)
系列 Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 306
Synthese library ; 306
附註 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
鏈接 Print version: 9789048158850
主題 Mathematics
Logic
Global analysis (Mathematics)
Logic, Symbolic and mathematical
Global analysis (Mathematics) fast (OCoLC)fst00943472
Logic. fast (OCoLC)fst01002014
Logic, Symbolic and mathematical. fast (OCoLC)fst01002068
Mathematics. fast (OCoLC)fst01012163
Electronic books
Alt Author Berger, Ulrich
Osswald, Horst
Alt Title Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
Record:   Prev Next