Skip to main content
SpringerLink
Log in

Et and an infinitary church’s thesis

  • Article
  • Published:
The Mathematical Intelligencer Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  • Baer, R. M., Computability by normal algorithms,Proc. Am. Math. Soc. 20 (1969), 551–552.

    Article  MATH  MathSciNet  Google Scholar 

  • Davis, M.,Computability & Unsolvability, New York: McGraw- Hill (1958).

    MATH  Google Scholar 

  • Davis, M., Why Gödei didn’t have Church’s Thesis,Inform. Control 54 (1982), 3–24.

    Article  MATH  Google Scholar 

  • Deutsch, D., Quantum theory, the Church-Turing principle and the universal quantum computer,Proc. Roy. Soc. London Ser. A 400 (1985), 97–117.

    Article  MATH  MathSciNet  Google Scholar 

  • Fischler, W., Morgan, D., and Polchinski, J., Quantization of false-vacuum bubbles: a Hamiltonian treatment of gravitational tunneling,Phys. Rev. D 42 (1990), 4042–4055.

    Article  MathSciNet  Google Scholar 

  • Gandy, R., The confluence of ideas in 1936, inThe Universal Turing Machine: A Half-Century Survey (R. Herken, ed.), Hamburg: Kammerer & Unverzagt (1988).

    Google Scholar 

  • Goodman, N. D., Intensions, Church’s thesis, and the formalization of mathematics,Notre Dame J. Formal Logic 28 (1987), 473–489.

    Article  MATH  MathSciNet  Google Scholar 

  • Kleene, S. C., Reflections on Church’s thesis,Notre Dame J. Formal Logic 28 (1987), 490–198.

    Article  MATH  MathSciNet  Google Scholar 

  • Kreisel, G., Church’s thesis and the ideal of formal rigour,Notre Dame J. Formal Logic 28 (1987), 499–519.

    Article  MATH  MathSciNet  Google Scholar 

  • Kreisel G., Church’s Thesis: a kind of reducibility axiom for constructive mathematics, inIntuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo, N.Y. (A. Kino, J. Myhill, R. E. Vesley, eds.), Amsterdam: North- Holland (1970).

    Google Scholar 

  • Lopez-Escobar, E. G. K., Remarks on an infinitary language with constructive formulas,J. Symbol. Logic 32 (1967), 305–318.

    Article  MATH  MathSciNet  Google Scholar 

  • Lopez-Escobar, E. G. K., Infinite rules in finite systems, inNon- classical Logics, Model Theory and Computability (A. I. Arruda, da N. C. A. Costa, and R. Chuaqui, eds.), Amsterdam: North-Holland (1977).

    Google Scholar 

  • Rosen, R., Church’s Thesis and its relation to the concept of realizability in biology and physics,Bull. Math. Biophys. 24 (1962), 375–393.

    Article  MATH  Google Scholar 

  • Webb, J. C.,Mechanism, Mentalism, and Metamathematics, Dordrecht: Reidel (1980).

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Parallel Logic Corporation, 379 Countyview Drive, 94941, Mill Valley, CA, USA

    Robert M. Baer

Authors
  1. Robert M. Baer
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Baer, R.M. Et and an infinitary church’s thesis. The Mathematical Intelligencer 17, 57–61 (1995). https://doi.org/10.1007/BF03024371

Download citation

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation