A trivial formalization of the theory of grossone
classification
🧮 math.GM
keywords
formalizationgrossonesystemtrivialanalysisbaseclassicalgiven
read the original abstract
A trivial formalization is given for the informal reasonings presented in a series of papers by Ya.D.Sergeyev on a positional numeral system with an infinitely large base, grossone; the system which is groundlessly opposed by its originator to the classical nonstandard analysis.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.