Search: onr:"swepub:oai:lup.lub.lu.se:99583479-5d57-4fa2-bee0-279ab2ef0ce8" >
An axiomatic explan...
-
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
(author)
An axiomatic explanation of complete self-reproduction
- Article/chapterEnglish1968
Publisher, publication year, extent ...
Numbers
-
LIBRIS-ID:oai:lup.lub.lu.se:99583479-5d57-4fa2-bee0-279ab2ef0ce8
-
https://lup.lub.lu.se/record/1744364URI
-
https://doi.org/10.1007/BF02476604DOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:art swepub-publicationtype
-
Subject category:ref swepub-contenttype
Notes
-
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.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Institutionen för elektro- och informationsteknikInstitutioner vid LTH
(creator_code:org_t)
Related titles
-
In:Bulletin of Mathematical Biophysics30:3, s. 415-4250007-4985
Internet link
Find in a library
To the university's database