Sökning: id:"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
(författare)
An axiomatic explanation of complete self-reproduction
- Artikel/kapitelEngelska1968
Förlag, utgivningsår, omfång ...
Nummerbeteckningar
-
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
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:art swepub-publicationtype
-
Ämneskategori:ref swepub-contenttype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Institutionen för elektro- och informationsteknikInstitutioner vid LTH
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Bulletin of Mathematical Biophysics30:3, s. 415-4250007-4985
Internetlänk
Hitta via bibliotek
Till lärosätets databas