单带和多带图灵机的角度下的Grossone方法论
摘要：使用数学语言来描述和观测自动计算的方式会如何影响所得结果的准确性。本文对单带和多带图灵机进行了研究，这些机器是通过一种基于物理学的数学语言描述和观测的，这种语言在方法论上借鉴了三个理念：观测对象（我们这里讨论的是数学对象）与用于观测的工具之间的区别；对象与观测工具之间的相互关系；观测的准确性由工具确定。对传统语言和新语言进行的观测结果进行了比较和讨论。
作者：Yaroslav D. Sergeyev and Alfredo Garro
论文ID：1307.3976
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-07-16