| Title:
|
Může stroj myslet? (Hypotetická debata L. Wittgensteina, A. Turinga a A. Churche) (Czech) |
| Title:
|
Can a machine think? (A hypothetical debate of L. Wittgenstein, A. Turing (English) |
| Author:
|
Güttner, Jakub |
| Language:
|
Czech |
| Journal:
|
Pokroky matematiky, fyziky a astronomie |
| ISSN:
|
0032-2423 |
| Volume:
|
48 |
| Issue:
|
2 |
| Year:
|
2003 |
| Pages:
|
105-114 |
| . |
| Category:
|
informatics |
| . |
| Keyword:
|
Turing machine |
| Keyword:
|
Church’s thesis |
| Keyword:
|
Turing thesis |
| MSC:
|
03A05 |
| MSC:
|
03D10 |
| idZBL:
|
Zbl 1047.03002 |
| . |
| Date available:
|
2010-12-11T19:48:06Z |
| Last updated:
|
2015-11-29 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/141168 |
| . |
| Reference:
|
[1] Shanker, S. G.: Wittgenstein versus Turing on the Nature of Church’s Thesis.Notre Dame J. Formal Logic, vol. 28/4 (1987). Zbl 0646.01012, MR 0912649, 10.1305/ndjfl/1093637650 |
| Reference:
|
[2] Church, A.: The Constructive Second Number Class.Bull. Amer. Math. Soc., vol. 44 (1938). Zbl 0018.33803, MR 1563715, 10.1090/S0002-9904-1938-06720-1 |
| Reference:
|
[3] Davis, M.: Why Gödel Didn’t Have Church’s Thesis.Information and Control, vol. 54 (1982). Zbl 0519.03033, MR 0713305, 10.1016/S0019-9958(82)91226-8 |
| Reference:
|
[4] Knuth, D.: Algorithms.Scientific American, vol. 234 (1977). Zbl 0417.68001 |
| Reference:
|
[5] Shanker, S. G.: Wittgenstein versus Turing on the Nature of Church’s Thesis.Notre Dame J. Formal Logic, vol. 28/4 (1987). Zbl 0646.01012, MR 0912649, 10.1305/ndjfl/1093637650 |
| Reference:
|
[6] Turing, A.: On Computable Numbers, with an application to the Entscheidungsproblem.Proc. London Math. Soc., vol. 42, Londýn 1939. |
| Reference:
|
[7] Turing, A.: Intelligent Machinery (1948).Machine Intelligence 5, Edinburgh 1969. |
| Reference:
|
[8] Wang, H.: From Mathematics to Philosophy.Routledge & Kegan Paul, Londýn 1974. Zbl 0554.03002 |
| Reference:
|
[9] Wittgenstein, L.: Lectures on the Foundations of Mathematics: Cambridge.The Harvester Press, Sussex 1976. MR 0434764 |
| Reference:
|
[10] Wittgenstein, L.: Ludwig Wittgenstein and the Vienna Circle, conversations recorded by Friedrich Waismann.Basil Blackwell, Oxford 1979. |
| Reference:
|
[11] Wittgenstein, L.: Philosophical Grammar.Ed. R. Rhees, Basil Blackwell, Oxford 1974. MR 0775138 |
| Reference:
|
[12] Wittgenstein, L.: Philosophical Investigations.Bassil Blackwell, Oxford 1973. MR 1971335 |
| Reference:
|
[13] Wittgenstein, L.: Remarks on the Foundations of Mathematics.Basil Blackwell, Oxford 1978. MR 0519516 |
| Reference:
|
[14] Monk, R.: Wittgenstein, úděl génia.Hynek, Praha 1996. |
| Reference:
|
[15] Hodges, A.: Alan Turing, Enigma.Springer-Verlag, Wien 1994. Zbl 0834.68023 |
| . |
