论文标题
Sumterms,Sumberms,Sumtuples和Sums以及总和的元算术
Sumterms, Summands, Sumtuples, and Sums and the Meta-arithmetic of Summation
论文作者
论文摘要
sum术是作为句法实体引入的,并将sumtuplams引入为语义实体。配备了这些概念,将获得一个总和的概念,即(名称)可以由数字扮演的角色。引入了sumterm拆分运算符,并认为如果没有进一步的预防措施,这些操作员的存在就会引起所谓的总和分裂悖论的实例。对总和分裂悖论的解决方案进行了调查。
Sumterms are introduced as syntactic entities, and sumtuples are introduced as semantic entities. Equipped with these concepts a new description is obtained of the notion of a sum as (the name for) a role which can be played by a number. Sumterm splitting operators are introduced and it is argued that without further precautions the presence of these operators gives rise to instance of the so-called sum splitting paradox. A survey of solutions to the sum splitting paradox is given.