說明 
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 peerreviewed 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 1622, 1999 
