Abstract:This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ① (this symbol is called grossone). The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts (Gutman et al. in Found Sci 22(3):539–555, 2017; Gutman and Kutateladze in Sib Math J 49(5):835–841, 2008; Kutateladze in J Appl Ind Math 5(1):73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics.

Lower and upper estimates of the quantity of algebraic numbers

Independence of the Grossone-Based Infinity Methodology from Non-standard Analysis and Comments upon Logical Fallacies in Some Texts Asserting the Opposite

Estimates for the number of rational points on simple abelian varieties over finite fields

Sums of powers, and products of elements of the middle third Cantor set

Big in Reverse Mathematics: the uncountability of the real numbers

Algebraic sums of achievable sets involving Cantorvals

On arithmetic sums of Cantor-type sequences of integers

Counting Perron Numbers by Absolute Value

Approximation Of Irrational Numbers By Pairs Of Integers From A Large Set

Some Lower Bounds on the Reach of an Algebraic Variety

Natural Number Arithmetic in the Theory of Finite Sets

Bolzano's Conjecture: Measuring the Numerosity of Infinite Sets

Explicit lower bounds for the height in Galois extensions of number fields

Effective approximation to complex algebraic numbers by algebraic numbers of bounded degree

Uniform bounds for the density in Artin's conjecture on primitive roots

The distribution of $a$-numbers of hyperelliptic curves in characteristic three

Counting Sets with Surreals. Part I: Sets of Natural Numbers

A number-theoretic problem concerning pseudo-real Riemann surfaces

Artinian groups of large cardinality

On practical sets and $A$-practical numbers

Algebraic dependence number and cardinality of generating iterated function systems