Studia Logica

, Volume 47, Issue 3, pp 303–309 | Cite as

Nonstandard analysis and constructivism?

  • Frank Wattenberg


The purpose of this paper is to investigate some problems of using finite (or *finite) computational arguments and of the nonstandard notion of an infinitesimal. We will begin by looking at the canonical example illustrating the distinction between classical and constructive analysis, the Intermediate Value Theorem.


Mathematical Logic Computational Linguistic Nonstandard Analysis Constructive Analysis Computational Argument 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    S. Albeverio, J. E. Fenstad, R. Høegh-Krohn, and T. Lindstrøm, Nomtandard Methods in Stochastic Analysis and Mathematical Physics, Academic Press, Orlando, 1986.Google Scholar
  2. [2]
    E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.Google Scholar
  3. [3]
    E. Bishop and D. Bridges, Constructive Analysis, Springer-Verlag, Berlin, 1985.Google Scholar
  4. [4]
    A. E. Hurd and P. A. Loeb, An Introduction to Nonstandard Real Analysis, Academic Press, Orlando, 1985.Google Scholar
  5. [5]
    A. Robinson, Non-Standa Analysis, North-Holland, Amsterdam, 1974.Google Scholar
  6. [6]
    K. D. Stroyan and W. A. J. Luxemburg, Introduction to the Theory of Infinitesimals, Academic Press, New York, 1976.Google Scholar
  7. [7]
    F. Wattenberg, Nonstandard topology and extensions of monad systems to infinite points, Journal of Symbolic Logic 36 (1971), pp. 463–476.Google Scholar
  8. [8]
    F. Wattenberg, Monads of infinite points and finite product spaces, Trans. Amer. Math. Soc. 176 (1973), pp. 351–368.Google Scholar

Copyright information

© Polish Academy of Sciences 1988

Authors and Affiliations

  • Frank Wattenberg
    • 1
  1. 1.Department of Mathematics and StatisticsUniversity of MassachusettsAmherstUSA

Personalised recommendations