Criticism of nonstandard analysis

Nonstandard analysis and its offshoot, nonstandard calculus, have been criticized by several authors, notably Errett Bishop, Paul Halmos, and Alain Connes. These criticisms are analyzed below. The evaluation of nonstandard analysis in the literature has varied greatly. Paul Halmos described it as a technical special development in mathematical logic. Terence Tao summed up the advantage of the hyperreal framework by noting that it allows one to rigorously manipulate things such as "the set of all small numbers", or to rigorously say things like "η1 is smaller than anything that involves η0", while greatly reducing epsilon management issues by automatically concealing many of the quantifiers in one's argument. The nature of the criticisms is not directly related to the logical status of the results proved using nonstandard analysis. In terms of conventional mathematical foundations in classical logic, such results are quite acceptable although usually strongly dependent on choice. Abraham Robinson's nonstandard analysis does not need any axioms beyond Zermelo–Fraenkel set theory (ZFC) (as shown explicitly by Wilhelmus Luxemburg's ultrapower construction of the hyperreals), while its variant by Edward Nelson, known as internal set theory, is similarly a conservative extension of ZFC. It provides an assurance that the newness of nonstandard analysis is entirely as a strategy of proof, not in range of results. Further, model theoretic nonstandard analysis, for example based on superstructures, which is now a commonly used approach, does not need any new set-theoretic axioms beyond those of ZFC. Controversy has existed on issues of mathematical pedagogy. Also nonstandard analysis as developed is not the only candidate to fulfill the aims of a theory of infinitesimals (see Smooth infinitesimal analysis). Philip J. Davis wrote, in a book review of Left Back: A Century of Failed School Reforms by Diane Ravitch: There was the nonstandard analysis movement for teaching elementary calculus.