Geodesic
Může stroj myslet? (Hypotetická debata L. Wittgensteina, A. Turinga a A. Churche)
Pokroky matematiky, fyziky a astronomie, Tome 48 (2003) no. 2, pp. 105-114 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03A05, 03D10
Mots-clés : Turing machine; Church’s thesis; Turing thesis 
@article{PMFA_2003_48_2_a1,
     author = {G\"uttner, Jakub},
     title = {M\r{u}\v{z}e stroj myslet? {(Hypotetick\'a} debata {L.~Wittgensteina,} {A.~Turinga} a {A.~Churche)}},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {105--114},
     year = {2003},
     volume = {48},
     number = {2},
     zbl = {1047.03002},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/item/PMFA_2003_48_2_a1/}
}
TY  - JOUR
AU  - Güttner, Jakub
TI  - Může stroj myslet? (Hypotetická debata L. Wittgensteina, A. Turinga a A. Churche)
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 2003
SP  - 105
EP  - 114
VL  - 48
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/PMFA_2003_48_2_a1/
LA  - cs
ID  - PMFA_2003_48_2_a1
ER  - 
%0 Journal Article
%A Güttner, Jakub
%T Může stroj myslet? (Hypotetická debata L. Wittgensteina, A. Turinga a A. Churche)
%J Pokroky matematiky, fyziky a astronomie
%D 2003
%P 105-114
%V 48
%N 2
%U http://geodesic.mathdoc.fr/item/PMFA_2003_48_2_a1/
%G cs
%F PMFA_2003_48_2_a1
Güttner, Jakub. Může stroj myslet? (Hypotetická debata L. Wittgensteina, A. Turinga a A. Churche). Pokroky matematiky, fyziky a astronomie, Tome 48 (2003) no. 2, pp. 105-114. http://geodesic.mathdoc.fr/item/PMFA_2003_48_2_a1/

[1] Shanker, S. G.: Wittgenstein versus Turing on the Nature of Church’s Thesis. Notre Dame J. Formal Logic, vol. 28/4 (1987). | DOI | MR | Zbl

[2] Church, A.: The Constructive Second Number Class. Bull. Amer. Math. Soc., vol. 44 (1938). | DOI | MR | Zbl

[3] Davis, M.: Why Gödel Didn’t Have Church’s Thesis. Information and Control, vol. 54 (1982). | DOI | MR | Zbl

[4] Knuth, D.: Algorithms. Scientific American, vol. 234 (1977). | Zbl

[5] Shanker, S. G.: Wittgenstein versus Turing on the Nature of Church’s Thesis. Notre Dame J. Formal Logic, vol. 28/4 (1987). | DOI | MR | Zbl

[6] Turing, A.: On Computable Numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc., vol. 42, Londýn 1939.

[7] Turing, A.: Intelligent Machinery (1948). Machine Intelligence 5, Edinburgh 1969.

[8] Wang, H.: From Mathematics to Philosophy. Routledge & Kegan Paul, Londýn 1974. | Zbl

[9] Wittgenstein, L.: Lectures on the Foundations of Mathematics: Cambridge. The Harvester Press, Sussex 1976. | MR

[10] Wittgenstein, L.: Ludwig Wittgenstein and the Vienna Circle, conversations recorded by Friedrich Waismann. Basil Blackwell, Oxford 1979.

[11] Wittgenstein, L.: Philosophical Grammar. Ed. R. Rhees, Basil Blackwell, Oxford 1974. | MR

[12] Wittgenstein, L.: Philosophical Investigations. Bassil Blackwell, Oxford 1973. | MR

[13] Wittgenstein, L.: Remarks on the Foundations of Mathematics. Basil Blackwell, Oxford 1978. | MR

[14] Monk, R.: Wittgenstein, úděl génia. Hynek, Praha 1996.

[15] Hodges, A.: Alan Turing, Enigma. Springer-Verlag, Wien 1994. | Zbl