Church’s thesis and its relation to the concept of realizability in biology and physics
- 86 Downloads
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.
KeywordsPhysical System Turing Machine Physical Entity Numerical Function Elementary Input
Unable to display preview. Download preview PDF.
- Bohm, D., 1957.Causality and Chance in Modern Physics. London: Routledge & Kegan Paul Ltd.Google Scholar
- 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.Google Scholar
- Kleene, S. C. 1952.Introduction to Metamathematics. New York: D. Van Nostrand Co., Inc.Google Scholar
- Riemann, B. 1892. “Uber die Hypothesen, Welche der Geometrie zu Grunde Liegen.” Mathematische Werke (2 Aufl., Nr. XIII, p. 272). Leipzig.Google Scholar
- — 1961. “Recent Progress in Relational Biology.” InProceedings of the Cullowhee Conference on Training in Biomathematics. Raleigh: North Carolina State College (to appear).Google Scholar
- Turing, A. M. 1937. “On Computable Numbers.”Proc. London Math. Soc.,42, 230–265.Google Scholar