Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite

DOI10.1007/S10699-018-9566-YzbMATH Open1428.03076arXiv1802.01408OpenAlexW3104926363WikidataQ129487138 ScholiaQ129487138MaRDI QIDQ2289686FDOQ2289686

Yaroslav D. Sergeyev

Publication date: 24 January 2020

Published in: Foundations of Science (Search for Journal in Brave)

Abstract: This commentary considers non-standard analysis and a recently introduced computational methodology based on the notion of G1 (this symbol is called emph{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 G1-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 cite{Flunks, Gutman_Kutateladze_2008, Kutateladze_2011} asserting that the G1-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to prove that the G1-based methodology is a part of non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional mathematics.

Full work available at URL: https://arxiv.org/abs/1802.01408

Recommendations

• Methodology of Numerical Computations with Infinities and Infinitesimals
• Computations with grossone-based infinities
• On the theory of grossone
• Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
• The Mathematical Intelligencer flunks the Olympics

zbMATH Keywords

grossonenonstandard analysisinfinity computernumerical infinities and infinitesimalslogical fallacies

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Nonstandard models in mathematics (03H05)

Cites Work

• On accuracy of mathematical languages used to deal with the Riemann zeta function and the Dirichlet eta function
• Using grossone to count the number of elements of infinite sets and the connection with bijections
• Counting systems and the first Hilbert problem
• Metamathematical investigations on the theory of grossone
• Title not available (Why is that?)
• Methodology of Numerical Computations with Infinities and Infinitesimals
• Title not available (Why is that?)
• A new applied approach for executing computations with infinite and infinitesimal quantities
• Numerical point of view on calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains
• Infinitesimals and infinites in the history of mathematics: a brief survey
• The use of grossone in mathematical programming and operations research
• Computing sums of conditionally convergent and divergent series using the concept of grossone
• Cellular automata using infinite computations
• Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
• Title not available (Why is that?)
• Higher order numerical differentiation on the infinity computer
• Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
• A trivial formalization of the theory of grossone
• Usage of infinitesimals in the Menger's sponge model of porosity
• Title not available (Why is that?)
• A pennorth of grossone
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
• The Olympic medals ranks, lexicographic ordering, and numerical infinities
• Fibonacci words, hyperbolic tilings and grossone
• Taking the Pirahã seriously
• The Mathematical Intelligencer flunks the Olympics
• The exact (up to infinitesimals) infinite perimeter of the Koch snowflake and its finite area
• A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic
• Nonlinear programming and grossone: quadratic programing and the role of constraint qualifications
• On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
• Numerical infinitesimals in a variable metric method for convex nonsmooth optimization
• The Sierpinski curve viewed by numerical computations with infinities and infinitesimals
• A Study of Mathematical Determination through Bertrand’s Paradox
• Philosophy of Mathematics

Cited In (21)

• Noise-induced kinetic transition in two-component environment
• Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer
• Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology
• A new approach to the \(Z\)-transform through infinite computation
• Non-Archimedean zero-sum games
• A Simulink-based software solution using the infinity computer methodology for higher order differentiation
• Iterative grossone-based computation of negative curvature directions in large-scale optimization
• Computation of higher order Lie derivatives on the infinity computer
• Novel local tuning techniques for speeding up one-dimensional algorithms in expensive global optimization using Lipschitz derivatives
• Spherical separation with infinitely far center
• The use of grossone in elastic net regularization and sparse support vector machines
• Polarity and conjugacy for quadratic hypersurfaces: a unified framework with recent advances
• The big-M method with the numerical infinite \(M\)
• Some paradoxes of infinity revisited
• Discrete uniform and binomial distributions with infinite support
• On the use of the infinity computer architecture to set up a dynamic precision floating-point arithmetic
• A new cutting plane method for lexicographic multi-objective integer linear programming
• Non-Archimedean game theory: a numerical approach
• Infinite games on finite graphs using grossone
• Lower and upper estimates of the quantity of algebraic numbers
• Generalizing Pure and Impure Iterated Prisoner’s Dilemmas to the Case of Infinite and Infinitesimal Quantities

This page was built for publication: Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite

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