论文标题

Sumterms,Sumberms,Sumtuples和Sums以及总和的元算术

Sumterms, Summands, Sumtuples, and Sums and the Meta-arithmetic of Summation

论文作者

Bergstra, Jan A.

论文摘要

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.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源