Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Literature
Guttman, S. G. 1966. “A Resolution of Rosen’s Paradox for Self-Reproducing Automata.”Bull. Math. Biophysics,28, 191–194.
Hajek, Petr. 1965. “Model der Mengenlehre, in denen Mengen gegebener Gestalt existieren.”Zeitschrift f. math. Logik und Grundlagen der Math.,11, 103–115.
Hausdorff, F. 1914.Grundzüge der Mengelehre. Leipzig: Veit and Co.
Kuratowski, K. 1921. “Sur la Notion d’Ordre dans la Théorie des Ensembles.”Fundamenta Mathematicae,2, 161–171.
Mendelson, E. 1964.Introduction to Mathematical logic. Princeton: Van Nostrand.
Penrose, L. S. 1958. “Mechanisms of Self-Reproduction.”Annals Human Genetics,23, 59–72.
Quine, W. 1945. “On Ordered Pairs.”Journ. Symb. Logic,10, 95–96.
— 1961. “New Foundations for Mathematical Logic.” InFrom a Logical Point of View. Cambridge: Harvard University Press.
Rosen, R. 1959. “On a Logical Paradox Implicit in the Notion of a Self-Reproducing Automaton.”Bull. Math. Biophysics,21, 387–394.
— 1962. “Self-Reproducing Automaton.”Ibid.,24, 243–245.
Scott, D. 1962. “Quine’s Individuals.” InLogic, Methodology and Philosophy of Science. Nagel, Suppes and Tarski, eds. Stanford.
Specker, Ernst. 1957. “Zur Axiomatik der Mengenlehre.”Zeitschrift f. math. Logik und Grundlagen der Math.,3, 173–210.
Von Neumann, J. 1966.Theory of Self-Reproducing Automata. Edited and completed by A. W. Burks. Urbana: University of Illinois Press.
Wiener, N. 1914. “A Simplification of the Logic of Relations.”Proc. Cambr. Phil. Soc.,17, 387–390.
Wittgenstein, L. 1921. “Tractatus Logico-Philosophicus.” First German edition inAnnalen der Naturphilosophie. English edition 1961. London: Routledge and Kegan Paul.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Löfgren, L. An axiomatic explanation of complete self-reproduction. Bulletin of Mathematical Biophysics 30, 415–425 (1968). https://doi.org/10.1007/BF02476604
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02476604