Turing, Alan Mathison Computing machinery and intelligence (1950). (English) Zbl 1528.68014 Lewis, Harry R. (ed.), Ideas that created the future. Classic papers of computer science. Cambridge, MA: MIT Press. 147-164 (2021). MSC: 68-03 01A60 × Cite Format Result Cite Review PDF
Turing, Alan Mathison On computable numbers, with an application to the Entscheidungsproblem (1936). (English) Zbl 1528.68013 Lewis, Harry R. (ed.), Ideas that created the future. Classic papers of computer science. Cambridge, MA: MIT Press. 51-60 (2021). MSC: 68-03 01A60 03-03 × Cite Format Result Cite Review PDF
Copeland, B. Jack (ed.); Bowen, Jonathan P. (ed.); Sprevak, Mark (ed.); Wilson, Robin (ed.) [Baker, Ruth E.; Batey, Mavis; Boden, Margaret A.; Campbell-Kelly, Martin; Carpenter, Brian E.; Caughey, Catherine; Doran, Robert W.; Downey, Rod; Grattan-Guinness, Ivor; Greenberg, Joel; Greenish, Simon; Hilton, Peter; Ireland, Eleanor; Leavitt, David; Long, Jason; Maini, Philip K.; Prinz, Dani; Proudfoot, Diane; Randell, Brian; Richards, Bernard; Roberts, Jerry; Shagrir, Oron; Simpson, Edward; Swade, Doron; Turing, John Dermot; Valentine, Jean; Whitty, Robin; Wolfram, Stephen; Woolley, Thomas E.] The Turing guide. Edited by Jack Copeland, Jonathan Bowen, Mark Sprevak and Robin Wilson. (English) Zbl 1382.68011 Oxford: Oxford University Press (ISBN 978-0-19-874782-6/hbk; 978-0-19-874783-3/pbk). xv, 546 p. (2017). Reviewer: Andreas Wichert (Lisboa) MSC: 68-06 68-01 68-03 01A60 01A70 68Q05 94A60 00B15 × Cite Format Result Cite Review PDF
Turing, Sara [Davis, Martin; Irvine, Lyn; Turing, John; Turing, Alan M.] Alan M. Turing. Centenary edition. With a foreword by Martin Davis and Lyn Irvine and an afterword by John Turing. 2nd ed., reprint of the 2012 hardback ed. (English) Zbl 1301.01001 Cambridge: Cambridge University Press (ISBN 978-1-107-52422-4/pbk). xxiv, 169 p. (2014). MSC: 01-02 01A70 01A60 68-03 68Q05 92-03 × Cite Format Result Cite Review PDF Full Text: DOI
Turing, Sara [Davis, Martin; Irvine, Lyn; Turing, John; Turing, Alan M.] Alan M. Turing. Centenary edition. With a foreword by Martin Davis and Lyn Irvine and an afterword by John F. Turing. 2nd ed. (English) Zbl 1239.01110 Cambridge: Cambridge University Press (ISBN 978-1-107-02058-0/hbk; 978-1-139-10573-6/ebook). xxiv, 169 p. (2012). Reviewer: Antonín Slavík (Praha) MSC: 01-02 01A70 01A60 68-03 68Q05 92-03 × Cite Format Result Cite Review PDF Full Text: DOI
Appel, Andrew W. (ed.) [Turing, Alan; Feferman, Solomon] Alan Turing’s Systems of logic. The Princeton thesis. Edited and introduced by Andrew W. Appel. (English) Zbl 1273.01061 Princeton, NJ: Princeton University Press (ISBN 978-0-691-15574-6/hbk). xv, 142 p. (2012). MSC: 01A75 03-03 03A05 00A30 01A60 03F03 03F15 × Cite Format Result Cite Review PDF Full Text: DOI
Leavitt, David [Turing, Alan] The man who knew too much. Alan Turing and the invention of the computer. (English) Zbl 1194.01106 Great Discoveries. New York, NY: Atlas Books; New York, NY: W.W Norton & Company (ISBN 0-393-05236-2/hbk). 319 p. (2006). Reviewer: Roman Murawski (Poznań) MSC: 01A70 68-03 68Q05 01A60 × Cite Format Result Cite Review PDF
Copeland, B. Jack (ed.) [Turing, Alan] The essential Turing. Seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus ‘The secrets of enigma’. (English) Zbl 1076.01036 Oxford: Clarendon Press (ISBN 0-19-825079-7/hbk; 0-19-825080-0/pbk). viii, 613 p. (2004). Reviewer: Volker Peckhaus (Paderborn) MSC: 01A75 01A60 68-03 68P25 68T01 92B05 94-03 × Cite Format Result Cite Review PDF
Turing, A. M. Gandy, R. O. (ed.); Yates, C. E. M. (ed.) [Feferman, Solomon] Collected works of A. M. Turing. Mathematical logic. Edited by R. O. Gandy and C. E. M. Yates. Including prefaces by Solomon Feferman. (English) Zbl 0986.01023 Amsterdam: Elsevier. xii, 293 p. (2001). Reviewer: Leon Harkleroad (Wilton) MSC: 01A75 03-03 × Cite Format Result Cite Review PDF
Turing, A. M. Intelligent machinery, a heretical theory. (English) Zbl 0881.03003 Philos. Math., III. Ser. 4, No. 3, 256-260 (1996). Reviewer: L.Harkleroad (Ithaca) MSC: 03A05 00A30 68T01 01A60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Turing, A. M. Collected works of A. M. Turing: Mechanical intelligence. Ed. by Darrel C. Ince. (English) Zbl 0751.01018 Amsterdam etc.: North-Holland. xix, 227 p. (1992). Reviewer: L.Harkleroad (Ithaca) MSC: 01A75 00B60 68-06 03-03 × Cite Format Result Cite Review PDF
Turing, A. M. Collected works of A. M. Turing: Pure mathematics. Ed. By J. L. Britton with a section on Turing’s statistical work by I. J. Good. (English) Zbl 0751.01017 Amsterdam etc.: North-Holland. xxii, 287 p. (1992). Reviewer: E.J.Barbeau (Toronto) MSC: 01A75 03D40 20F10 03D10 11M26 11Y35 × Cite Format Result Cite Review PDF
Turing, A. M. Collected works of A. M. Turing. Morphogenesis. Ed. by P.T. Saunders. (English) Zbl 0779.92007 Amsterdam: North-Holland. xxv, 131 p. (1992). Reviewer: P.Kůrka (Praha) MSC: 92C15 01A75 00B60 92-02 × Cite Format Result Cite Review PDF
Mangel, M. (ed.) [Rinzel, J.; Hodgkin, A. L.; Huxley, A. F.; Cowan, J. D.; McCulloch, W. S.; Pitts, W.; Murray, J. D.; Turing, A. M.; Provine, W. B.; Haldane, J. B. S.; Wright, S.; Fisher, R. A.] Classics of theoretical biology (part one). From material presented at a meeting held on 5 July 1988 in Oxford, UK. (English) Zbl 0693.92001 Bulletin of Mathematical Biology 52, No. 1-2. Oxford etc.: Pergamon Press. 334 p. (1990). MSC: 92-06 92Cxx 92D10 92D15 × Cite Format Result Cite Review PDF
Lourenco, Manuel (ed.) [Cohen, Paul J.; Goedel, Kurt; Rosser, J. B.; Turing, A. M.; Feferman, Solomon; Dummett, Michael] Gödel’s theorem and the continuum hypothesis. Anthology, preface and transl. from several English orig. by Manuel Lourenco. (O teorema de Gödel e a hipotese do continuo.) (Portuguese) Zbl 0486.03005 Lisboa: Fundacao Calouste Gulbenkian. XCV, 900 p. (1979). MSC: 03-06 03E50 01A75 03D35 × Cite Format Result Cite Review PDF
Turing, A. M. Intelligent machinery. (English) Zbl 0219.68052 Machine Intell. 5, 3-23 (1969). MSC: 68T15 68Q05 × Cite Format Result Cite Review PDF
Turing, A. M. Yanovskaya, S. A. (ed.) [von Neumann, J.] Can the machine think? With a supplement by J. von Neumann: Allgemeine und logische Theorie der Automaten. Translated from the English by Yu. A. Danilov; edited and with a foreword by S. A. Yanovskaya. (Может ли машина мыслить? Общая и логическая теория автоматов.) (Russian) Zbl 0095.01102 Moskau: Staatsverlag für physikalisch-mathematische Literatur. 112 S. (1960). MSC: 00B50 68-03 01A60 × Cite Format Result Cite Review PDF
Turing, A. M. Some calculations of the Riemann zeta-function. (English) Zbl 0050.08101 Proc. Lond. Math. Soc., III. Ser. 3, 99-117 (1953). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, Alan Mathison The chemical basis of morphogenesis. (English) Zbl 1403.92034 Philos. Trans. R. Soc. Lond., Ser. B, Biol. Sci. 237, No. 641, 37-72 (1952). MSC: 92C15 35Q92 35K57 92C40 × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. The word problem in semi-groups with cancellation. (English) Zbl 0037.30103 Ann. Math. (2) 52, 491-505 (1950). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. Practical forms of type theory. (English) Zbl 0054.00603 J. Symb. Log. 13, 80-94 (1948). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. Rounding-off errors in matrix processes. (English) Zbl 0033.28501 Q. J. Mech. Appl. Math. 1, 287-308 (1948). × Cite Format Result Cite Review PDF Full Text: DOI Link
Turing, A. M. A method for the calculation of the zeta-function. (English) Zbl 0061.08304 Proc. Lond. Math. Soc. (2) 48, 180-197 (1943). Reviewer: Edmund Hlawka (Wien) MSC: 11M06 × Cite Format Result Cite Review PDF Full Text: DOI
Newman, M. H. A.; Turing, A. M. A formal theorem in Church’s theory of types. (English) Zbl 0063.05941 J. Symb. Log. 7, 28-33 (1942). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. The use of dots as brackets in Church’s system. (English) Zbl 0060.02008 J. Symb. Log. 7, 146-156 (1942). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. Systems of logic based on ordinals. (English) Zbl 0021.09704 Proc. Lond. Math. Soc., II. Ser. 45, 161-228 (1939). × Cite Format Result Cite Review PDF Full Text: DOI Link
Turing, Alan M. Systems of logic based on ordinals. (English) JFM 65.1102.02 Proc. London math. Soc. (2) 45, 161-228 (1939). Reviewer: Ackermann, W., Dr. (Burgsteinfurt) × Cite Format Result Cite Review PDF Full Text: DOI Link
Turing, A. M. The extensions of a group. (English) Zbl 0018.39201 Compos. Math. 5, 357-367 (1938). × Cite Format Result Cite Review PDF Full Text: Numdam EuDML
Turing, A. M. Finite approximations to Lie groups. (English) Zbl 0018.29801 Ann. Math. (2) 39, 105-111 (1938). Reviewer: Nathan Jacobson MSC: 22E99 × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. Finite approximations to Lie groups. (English) JFM 64.1094.01 Ann. Math., Princeton, (2) 39, 105-111 (1938). Reviewer: Schulenberg, Elisabeth, Dr. (Berlin) × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. The extensions of a group. (English) JFM 64.0067.02 Compositio math., Groningen, 5, 357-367 (1938). Reviewer: Zassenhaus, H., Dr. (Hamburg) × Cite Format Result Cite Review PDF Full Text: EuDML
Turing, A. M. The \(p\)-function in \(\lambda-K\)-conversion. (English) Zbl 0018.19401 J. Symb. Log. 2, 164 (1937). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. Comptability and \(\lambda\)-definability. (English) Zbl 0018.19305 J. Symb. Log. 2, 153-163 (1937). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. On computable numbers, with an application to the Entscheidungsproblem. A correction. (English) Zbl 0018.19304 Proc. Lond. Math. Soc., II. Ser. 43, 544-546 (1937). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. The \(p\)-function in \(\lambda\)-\(K\)-conversion. (English) JFM 63.0825.01 J. symbolic Logic 2, 164 (1937). Reviewer: Skolem, T., Prof. (V. Aker bei Oslo) × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. Computability and \(\lambda\)-definability. (English) JFM 63.0824.03 J. symbolic Logic 2, 153-163 (1937). Reviewer: Skolem, T., Prof. (V. Aker bei Oslo) × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. On computable numbers, with an application to the Entscheidungsproblem. A correction. (English) JFM 63.0823.02 Proc. London math. Soc. (2) 43, 544-546 (1937). Reviewer: Hermes, H., Dr. (Bonn) × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. On computable numbers, with an application to the Entscheidungsproblem. (English) Zbl 0016.09701 Proc. Lond. Math. Soc., II. Ser. 42, 230-265 (1936). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. On computable numbers, with an application to the Entscheidungsproblem. (English) JFM 62.1059.03 Proc. London math. Soc. (2) 42, 230-265 (1936). Reviewer: Hermes, H., Dr. (Bonn) × Cite Format Result Cite Review PDF Full Text: DOI
Turing, A. M. Equivalence of left and right almost periodicity. (English) Zbl 0012.40404 J. Lond. Math. Soc. 10, 284-285 (1935). × Cite Format Result Cite Review PDF Full Text: DOI
Turing, Alan M. Equivalence of left and right almost periodicity. (English) JFM 61.0471.01 Journ. London Math. Soc. 10, 284-285 (1935). Reviewer: Schröder, K., Dr. (Berlin) × Cite Format Result Cite Review PDF Full Text: DOI