Thirdness as self-reference in computing

被引：2
|
作者：
Tanaka-Ishii, Kumiko [1 ]
Ishii, Yuichiro
机构：
[1] Univ Tokyo, Dept Creat Informat, Grad Sch Informat Sci & Technol, Tokyo, Japan
[2] Nihon Univ, Tokyo 102, Japan
来源：
SEMIOTICA | 2006年 / 160卷 / 1-4期
关键词：
computing; Peirce's universal category; self-reference; program transformation; fixed-point; abstraction;
D O I：
10.1515/SEM.2006.054
中图分类号：
C [社会科学总论];
学科分类号：
03 ; 0303 ;
摘要：
We argue that the essence of thirdness in computing is self-reference. Our discussion is grounded on the theories of Church and Curry, which have been studied in the domain of theoretical computing. Using their theories, we show that any program can be transformed into a program consisting only of three-term relations, where the essence of the three-term relations lies in self-reference.
引用
收藏
页码：327 / 343
页数：17
相关论文
共 50 条
12345