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

[2] Church, A.: The Constructive Second Number Class. Bull. Amer. Math. Soc., vol. 44 (1938). DOI 10.1090/S0002-9904-1938-06720-1 | MR 1563715 | Zbl 0018.33803

[3] Davis, M.: Why Gödel Didn’t Have Church’s Thesis. Information and Control, vol. 54 (1982). DOI 10.1016/S0019-9958(82)91226-8 | MR 0713305 | Zbl 0519.03033

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

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

[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 0554.03002

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

[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 0775138

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

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

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

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