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. This book will be of interest
to mathematicians, logicians, and philosophers, as well as
theoretical computer scientists, physicists, and economists who are
interested in theories of the continuum and in constructive or
nonstandard mathematics. The major part is accessible for the
non-expert professional reader, from graduate student to academic
level. "
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!