Nonstandard Analysis and Constructivism!

arXiv1704.00281MaRDI QIDQ6285069FDOQ6285069

Authors: Sam Sanders 

Publication date: 2 April 2017

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.

This page was built for publication: Nonstandard Analysis and Constructivism!

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6285069)