An axiomatic explanation of complete self-reproduction

Löfgren, LarsLund University,Lunds universitet,Institutionen för elektro- och informationsteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Electrical and Information Technology,Departments at LTH,Faculty of Engineering, LTH (författare)

A similarity between the concepts of reproduction and explanation is observed which implies a similarity between the less well understood concepts of complete self-reproduction and complete self-explanation. These latter concepts are shown to be independent from ordinary logical-mathematical-biological reasoning, and a special form of complete self-reproduction is shown to be axiomatizable. Involved is the question whether there exists a function that belongs to its own domain or range. Previously, Wittgenstein has argued, on intuitive grounds, that no function can be its own argument. Similarly, Rosen has argued that a paradox is implied by the notion of a function which is a member of its own range. Our result shows that such functions indeed are independent from ordinary logical-mathematical reasoning, but that they need not imply any inconsistencies. Instead such functions can be axiomatized, and in this sense they really do exist. Finally, the introduced notion of complete self-reproduction is compared with “self-reproduction” of ordinary biological language. It is pointed out that complete self-reproduction is primarily of interest in connection with formal theories of evolution.

Institutionen för elektro- och informationsteknikInstitutioner vid LTH (creator_code:org_t)

Om ämnet

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.