, Volume 29, Issue 1–4, pp 11–26 | Cite as

A notion of mechanistic theory

  • G. Kreisel
Part I/Logic


Mechanistic Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Ehrenfeucht, A., ‘Polynomial Functions with Exponentiation Are Well Ordered’, Algebra universalis 3 (1973), 261–263.Google Scholar
  2. Gandy, R. O., ‘The Concept of Computability’, in R. Harré (ed.), Scientific Thought 1900–1960, Clarendon Press, Oxford, 1969.Google Scholar
  3. 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
  4. Mints, G. E., ‘On E-theorems’, Zapiski 40 (1974), 101–118.Google Scholar
  5. 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
  6. Orekov, V. P., ‘On Constructive Mappings of a Circle into Itself’, Proceedings of the Steklov Institute 72 (1964), 437–446.Google Scholar
  7. Richardson, D., ‘Some Undecidable Problems Involving Elementary Functions of a Real Variable’, Journal of Symbolic Logic 33 (1968), 514–520.Google Scholar
  8. Richardson, D., ‘Solution of the Identity Problem for Integral Exponential Functions’, Zeitschrift für mathematische Logik und Grundlagen 15 (1969), 333–340.Google Scholar
  9. Scarpellini, B., ‘Zwei unentscheidbare Probleme der Analysis’, Zeitschrift für mathematische Logik und Grundlagen 9 (1963), 265–289.Google Scholar
  10. Specker, E. P., ‘Der Satz vom Maximum in der rekursiven Analysis’, in A. Heyting (ed.), Constructivity in Mathematics, North-Holland, Amsterdam, 1959.Google Scholar

Copyright information

© D. Reidel Publishing Company 1974

Authors and Affiliations

  • G. Kreisel
    • 1
  1. 1.Stanford UniversityUSA

Personalised recommendations