Geodesic
E. T. a infinitární Churchova teze
Pokroky matematiky, fyziky a astronomie, Tome 41 (1996) no. 2, pp. 82-89 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 00A08, 03-01, 03D10, 03D20 
@article{PMFA_1996_41_2_a2,
     author = {Baer, Robert M.},
     title = {E. {T.} a infinit\'arn{\'\i} {Churchova} teze},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {82--89},
     year = {1996},
     volume = {41},
     number = {2},
     mrnumber = {1454824},
     zbl = {0871.03032},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/item/PMFA_1996_41_2_a2/}
}
TY  - JOUR
AU  - Baer, Robert M.
TI  - E. T. a infinitární Churchova teze
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 1996
SP  - 82
EP  - 89
VL  - 41
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/PMFA_1996_41_2_a2/
LA  - cs
ID  - PMFA_1996_41_2_a2
ER  - 
%0 Journal Article
%A Baer, Robert M.
%T E. T. a infinitární Churchova teze
%J Pokroky matematiky, fyziky a astronomie
%D 1996
%P 82-89
%V 41
%N 2
%U http://geodesic.mathdoc.fr/item/PMFA_1996_41_2_a2/
%G cs
%F PMFA_1996_41_2_a2
Baer, Robert M. E. T. a infinitární Churchova teze. Pokroky matematiky, fyziky a astronomie, Tome 41 (1996) no. 2, pp. 82-89. http://geodesic.mathdoc.fr/item/PMFA_1996_41_2_a2/

[1] Baer, R. M.: Computability by normal algorithms. Proc. Am. Math. Soc. 20 (1969), 551–552. | MR

[2] Davis, M.: Computability & Unsolvability. New York: McGraw-Hill (1958). | MR | Zbl

[3] Davis, M.: Why Gödel didn’t have Church’s Thesis. Inform. Control 54 (1982), 3–24. | MR | Zbl

[4] Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. Roy. Soc. London Ser. A 400 (1985), 97–117. | MR | Zbl

[5] Fischler, W., Morgan, D., Polchinski, J.: Quantization of false-vacuum bubbles; a Hamiltonian treatement of gravitational tunneling. Phys. Rev. D 42 (1990), 4042–4055. | MR

[6] Gandy, R.: The confluence of ideas in 1936. In The Universal Turing Machine: A Half-Century Survey (R. Herken, ed.), Hamburg: Kammerer & Unverzagt (1988). | MR | Zbl

[7] Goodman, N. D.: Intensions, Church’s Thesis, and the formalization of mathematics. Notre Dame J. Formal Logic 28 (1987), 473–489. | MR | Zbl

[8] Kleene, S. C.: Reflections on Church’s thesis. Notre Dame J. Formal Logic 28 (1987), 490–498. | MR | Zbl

[9] Kreisel, G.: Church’s thesis and the ideal of formal rigour. Notre Dame J. Formal Logic 28 (1987), 499–519. | MR

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

[11] Lopez-Escobar, E. G. K.: Remarks on an infinitary language with constructive formulas. J. Symbol. Logic 32 (1967), 305–318. | MR

[12] Lopez-Escobar, E. G. K.: Infinite rules in finite systems. In Nonclassical Logics, Model Theory and Computability (A. I. Arruda, N. C. A da Costa, and R. Chuaqui, eds.), Amsterdam: North-Holland (1977). | MR | Zbl

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

[14] Webb, J. C.: Mechanism, Mentalism, and Metamathematics. Dordrecht: Reidel (1980). | MR | Zbl