Scifaro

中文

grossone理论的平凡形式化

综合数学 2008-12-13 v2

作者: A. E. Gutman , S. S. Kutateladze

在 arXiv 上查看 ↗ PDF ↗

摘要

对Ya.D.Sergeyev在一系列论文中提出的关于具有无穷大基数的位置记数系统grossone的非形式化推理，给出了一个平凡的形式化；该系统的创始人毫无根据地将其与经典的非标准分析对立起来。

关键词

grossone 位置记数系统非标准分析无穷数形式化

引用

@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}
}

备注

6 pages; a footnote on a foundation support is added