Construction theory, self-replication, and the halting problem

Hiroki Sayama*

*この研究の対応する著者

研究成果: Article査読

4 被引用数 (Scopus)

抄録

This essay aims to propose construction theory, a new domain of theoretical research on machine construction, and use it to shed light on a fundamental relationship between living and computational systems. Specifically, we argue that self-replication of von Neumann's universal constructors holds a close similarity to circular computational processes of universal computers that appear in Turing's original proof of the undecidability of the halting problem. The result indicates the possibility of reinterpreting a self-replicating biological organism as embodying an attempt to solve the halting problem for a diagonal input in the context of construction. This attempt will never be completed because of the indefinite cascade of self-computation/construction, which accounts for the undecidability of the halting problem and also agrees well with the fact that life has maintained its reproductive activity for an indefinitely long period of time.

本文言語English
ページ(範囲)16-22
ページ数7
ジャーナルComplexity
13
5
DOI
出版ステータスPublished - 2008
外部発表はい

ASJC Scopus subject areas

  • 一般

引用スタイル