Abstract
An attempt to characterize the physical realizability of an abstract mapping process in terms of the Turing computability of an associated numerical function is described. Such an approach rests heavily on the validity of Church’s Thesis for physical systems capable of computing numerical functions. This means in effect that one must investigate in what manner Church’s Thesis can be converted into an assertion concerning the nonexistence of a certain class of physical processes (namely, those processes which are capable of calculating the values of numerical functions which are not Turing-computable). A formulation which may be plausible is suggested, and it is then shown that the truth of Church’s Thesis in this, form is closely connected with the “effectiveness” of theoretical descriptions of physical systems. It is shown that the falsity of this form of Church’s Thesis is related to a fundamental incompleteness in the possibility of describing physical systems, much like the incompleteness which Gödel showed to be inherent in axiomatizations of elementary arithmetic. Various implications of these matters are briefly discussed.
Similar content being viewed by others
Literature
Bohm, D., 1957.Causality and Chance in Modern Physics. London: Routledge & Kegan Paul Ltd.
Bremermann, H. J. 1962. “Optimization Through Evolution and Recombination.” InSelf-Organizing Systems, M. Yovits, G. T. Jacobi, and G. D. Goldstein, eds. Washington: Spartan Books.
Church, A. 1936. “An Unsolvable Problem of Elementary Number Theory.”Am. J. Math.,21, 275–281.
Davis, M. 1958.Computability and Unsolvability. New York: McGraw-Hill Book Co.
Joos, G. 1950.Theoretical Physics. New York: Hafner Publishing Co.
Kleene, S. C. 1952.Introduction to Metamathematics. New York: D. Van Nostrand Co., Inc.
von Neumann, J. 1950.Mathematical Foundations of Quantum Mechanics. Princeton: Princeton University Press.
Rashevsky, N. 1954. “Topology and Life.”Bull. Math. Biophysics,16, 317–348.
Riemann, B. 1892. “Uber die Hypothesen, Welche der Geometrie zu Grunde Liegen.” Mathematische Werke (2 Aufl., Nr. XIII, p. 272). Leipzig.
Rosen, R. 1958a. “A Relational Theory of Biological Systems.”Bull. Math. Biophysics,20, 245–260.
— 1958b. “The Representation of Biological Systems from the Standpoint of the Theory of Categories.”Ibid.,20, 317–341.
— 1959. “A Relational Theory of Biological Systems II.”Ibid.,21, 109–128.
— 1961. “Recent Progress in Relational Biology.” InProceedings of the Cullowhee Conference on Training in Biomathematics. Raleigh: North Carolina State College (to appear).
— 1962. “A Note on Abstract Relational Biologies.”Bull. Math. Biophysics,24, 31–38.
Turing, A. M. 1937. “On Computable Numbers.”Proc. London Math. Soc.,42, 230–265.
Author information
Authors and Affiliations
Additional information
This research was supported by the United States Air Force through the Air Force Office of Scientific Research of the Air Research and Development Command, under Contract No. AF 49(638)-917.
Rights and permissions
About this article
Cite this article
Rosen, R. Church’s thesis and its relation to the concept of realizability in biology and physics. Bulletin of Mathematical Biophysics 24, 375–393 (1962). https://doi.org/10.1007/BF02477996
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02477996