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 条
  • [21] IS THE BAN ON SELF-REFERENCE REALLY NECESSARY?
    Andrushkevich, Alexandr G.
    EPISTEMOLOGY & PHILOSOPHY OF SCIENCE-EPISTEMOLOGIYA I FILOSOFIYA NAUKI, 2023, 60 (03): : 61 - 67
  • [22] Properties complementary to program self-reference
    Case, John
    Moelius, Samuel E., III
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2007, PROCEEDINGS, 2007, 4708 : 253 - +
  • [23] ON THE POSSIBILITY OF A GENERAL PURGE OF SELF-REFERENCE
    Rosenblatt, Lucas
    ANALISIS FILOSOFICO, 2012, 32 (01): : 53 - 59
  • [24] THE LIAR PARADOX WITHOUT SELF-REFERENCE
    Ladov, Vsevolod A.
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2019, 50 : 249 - 254
  • [25] Cantor diagrams: A unifying discussion of self-reference
    Germano, GM
    Mazzanti, S
    APPLIED CATEGORICAL STRUCTURES, 2003, 11 (04) : 313 - 336
  • [26] Program Self-Reference in Constructive Scott Subdomains
    Case, John
    Moelius, Samuel E., III
    THEORY OF COMPUTING SYSTEMS, 2012, 51 (01) : 22 - 49
  • [27] How to eliminate self-reference: a précis
    Philippe Schlenker
    Synthese, 2007, 158 : 127 - 138
  • [28] Self-reference and engagement in the contemporary spanish novel
    Fauquet, Isabelle
    BULLETIN HISPANIQUE, 2014, 116 (02): : 719 - 732
  • [29] Thermoelastic Measurement Techniques Enabled by Self-reference
    Boyce, Bradley R.
    Lesniak, Jon R.
    RESIDUAL STRESS, THERMOMECHANICS & INFRARED IMAGING, HYBRID TECHNIQUES AND INVERSE PROBLEMS, VOL 7, 2019, : 125 - 127
  • [30] Program Self-Reference in Constructive Scott Subdomains
    John Case
    Samuel E. Moelius
    Theory of Computing Systems, 2012, 51 : 22 - 49
12345