A trivial formalization of the theory of grossone
General Mathematics
2008-12-13 v2
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.
Cite
@article{arxiv.0808.1164,
title = {A trivial formalization of the theory of grossone},
author = {A. E. Gutman and S. S. Kutateladze},
journal= {arXiv preprint arXiv:0808.1164},
year = {2008}
}
Comments
6 pages; a footnote on a foundation support is added