Skip to main content

A notion of mechanistic theory

This is a preview of subscription content, access via your institution.

References

  • Ehrenfeucht, A., ‘Polynomial Functions with Exponentiation Are Well Ordered’, Algebra universalis 3 (1973), 261–263.

    Google Scholar 

  • Gandy, R. O., ‘The Concept of Computability’, in R. Harré (ed.), Scientific Thought 1900–1960, Clarendon Press, Oxford, 1969.

    Google Scholar 

  • Kreisel, G., ‘Which Number Theoretic Problems Can Be Solved in Recursive Progressions on π 11 -Paths Through 0?’, Journal of Symbolic Logic 37 (1972), 311–334 (reviewed in Zentralblatt 255 (1973), 28–29).

    Google Scholar 

  • Mints, G. E., ‘On E-theorems’, Zapiski 40 (1974), 101–118.

    Google Scholar 

  • Moser, J., ‘Stable and Random Motions in Dynamical Systems, with Special Emphasis on Celestial Mechanics’, Annals of Mathematics Studies, Vol. 77, Princeton University Press, Princeton, N.J., 1973.

    Google Scholar 

  • Orekov, V. P., ‘On Constructive Mappings of a Circle into Itself’, Proceedings of the Steklov Institute 72 (1964), 437–446.

    Google Scholar 

  • Richardson, D., ‘Some Undecidable Problems Involving Elementary Functions of a Real Variable’, Journal of Symbolic Logic 33 (1968), 514–520.

    Google Scholar 

  • Richardson, D., ‘Solution of the Identity Problem for Integral Exponential Functions’, Zeitschrift für mathematische Logik und Grundlagen 15 (1969), 333–340.

    Google Scholar 

  • Scarpellini, B., ‘Zwei unentscheidbare Probleme der Analysis’, Zeitschrift für mathematische Logik und Grundlagen 9 (1963), 265–289.

    Google Scholar 

  • Specker, E. P., ‘Der Satz vom Maximum in der rekursiven Analysis’, in A. Heyting (ed.), Constructivity in Mathematics, North-Holland, Amsterdam, 1959.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Kreisel, G. A notion of mechanistic theory. Synthese 29, 11–26 (1974). https://doi.org/10.1007/BF00484949

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00484949

Keywords

  • Mechanistic Theory