Title: Nonstandard Analysis and Constructivism!,
Abstract: Almost two decades ago, Wattenberg published a paper with the title
'Nonstandard Analysis and Constructivism?' in which he speculates on a possible
connection between Nonstandard Analysis and constructive mathematics. We study
Wattenberg's work in light of recent research on the aforementioned connection.
On one hand, with only slight modification, some of Wattenberg's theorems in
Nonstandard Analysis are seen to yield effective and constructive theorems (not
involving Nonstandard Analysis). On the other hand, we establish the
incorrectness of some of Wattenberg's (explicit and implicit) claims regarding
the constructive status of the axioms Transfer and Standard Part of Nonstandard
Analysis.