×

zbMATH — the first resource for mathematics

Church’s thesis and its relation to the concept of realizability in biology and physics. (English) Zbl 0118.34605

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Bohm, D., 1957.Causality and Chance in Modern Physics. London: Routledge & Kegan Paul Ltd.
[2] 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.
[3] Church, A. 1936. ”An Unsolvable Problem of Elementary Number Theory.”Am. J. Math.,21, 275–281. · JFM 62.0046.01
[4] Davis, M. 1958.Computability and Unsolvability. New York: McGraw-Hill Book Co. · Zbl 0080.00902
[5] Joos, G. 1950.Theoretical Physics. New York: Hafner Publishing Co. · JFM 60.0741.01
[6] Kleene, S. C. 1952.Introduction to Metamathematics. New York: D. Van Nostrand Co., Inc. · Zbl 0047.00703
[7] von Neumann, J. 1950.Mathematical Foundations of Quantum Mechanics. Princeton: Princeton University Press.
[8] Rashevsky, N. 1954. ”Topology and Life.”Bull. Math. Biophysics,16, 317–348.
[9] Riemann, B. 1892. ”Uber die Hypothesen, Welche der Geometrie zu Grunde Liegen.” Mathematische Werke (2 Aufl., Nr. XIII, p. 272). Leipzig. · JFM 47.0770.01
[10] Rosen, R. 1958a. ”A Relational Theory of Biological Systems.”Bull. Math. Biophysics,20, 245–260.
[11] – 1958b. ”The Representation of Biological Systems from the Standpoint of the Theory of Categories.”Ibid.,20, 317–341.
[12] – 1959. ”A Relational Theory of Biological Systems II.”Ibid.,21, 109–128.
[13] – 1961. ”Recent Progress in Relational Biology.” InProceedings of the Cullowhee Conference on Training in Biomathematics. Raleigh: North Carolina State College (to appear).
[14] – 1962. ”A Note on Abstract Relational Biologies.”Bull. Math. Biophysics,24, 31–38. · Zbl 0154.45806
[15] Turing, A. M. 1937. ”On Computable Numbers.”Proc. London Math. Soc.,42, 230–265. · Zbl 0016.09701
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.