Remarks on Peano arithmetic

被引:0
作者
Sayward, C [1 ]
机构
[1] Univ Nebraska, Lincoln, NE 68588 USA
来源
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES | 2000年 / 20卷 / 01期
关键词
D O I
暂无
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
Russell held that the theory of natural numbers could be derived from three primitive concepts: number, successor and zero. This leaves out multiplication and addition. Russell introduces these concepts by recursive definition. It is argued that this does not render addition or multiplication any less primitive that the other three. To this it might be replied that any recursive definition can be transformed into a complete or explicit definition with the help of a little set theory. But that is a point about set theory, not number theory. We have learned more about the distinction between logic and set theory than was known in Russell's day, especially as this affects logicist aspirations.
引用
收藏
页码:27 / 32
页数:6
相关论文
共 1 条
  • [1] Russell B., INTRO MATH PHILOS