No. 58 (2020): January - June
Articles

Modelling Strategies in Alan Turing: Terms and Concepts of Machine

PDF (Español (España)) XML (Español (España))
  • Andrés Ilcic,
  • Pío García
Andrés Ilcic
Universidad Nacional de Córdoba
Pío García
Escuela de Filosofía, Universidad Nacional de Córdoba, Argentina
Bio
DOI: https://doi.org/10.21555/top.v0i58.1090

Published 2019-12-13

Keywords

How to Cite

Ilcic, A., & García, P. (2019). Modelling Strategies in Alan Turing: Terms and Concepts of Machine. Tópicos, Revista De Filosofía, (58), 135–155. https://doi.org/10.21555/top.v0i58.1090
Copyright Notice

Downloads

Download data is not yet available.

Altmetrics

Citas

Crossref
Scopus
Google Scholar
Europe PMC

Abstract

In 1936, Alan Turing proposed the notion of an automated machine as a model of the computation performed by a human being while only being aided by mechanical resources. Still, it seems that much more can be said about Turing’s own conception of machines in the scope of his later work, both terminologically and conceptually. In this paper we present the terms he used that refer to machines and that according to our understanding are important to give an account of Turing’s concerns and the problems he tackled with after his first recourse to the notion of machine during the late nineteen-thirties. Exploring his usage of such terms we show how it is possible to see an enlargement or extension towards a general notion of machine from the very first automated machine. At the same time, we identify in his work a modelling attitude or stance in which machines can be used as a way to understand and explain a natural or abstract phenomenon.

PDF (Español (España)) XML (Español (España))

References

  1. Las obras de Alan Turing:
  2. Turing, A. (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. (Proc. Lond. Math. Soc. (2) 42, 230–265).
  3. Turing, A. (1939). Systems of Logic Based on Ordinals. (Proc. Lond. Math. Soc. (2) 45, 161–228).
  4. Turing, A. (1947). Lecture to the London Mathematical Society.
  5. Turing, A. (1948). Intelligent Machinery (Informe de Turing para el National Physical Laboratory).
  6. Turing, A. (1950). Computing Machinery and Intelligence (Mind, 59, 433–460).
  7. Turing, A. (1951a). Can Digital Computers Think? (BBC Third Programme radio broadcast (15 May 1951), transcript edited by B. J. Copeland).
  8. Turing, A. (1951b). Intelligent Machinery: A Heretical Theory (Lecture given to 51 Society in Manchester (c. 1951), transcript edited B. J. Copeland).
  9. Turing, A. (1952). Can Automatic Calculating Machines Be Said To Think? (Broadcast discussion, BBC Third Programme (14 and 23 Jan. 1952), transcript edited B. J. Copeland)
  10. Las referencias a las mismas citadas en el cuerpo del trabajo corresponden a la paginación de las compilaciones efectuadas por Copeland y Cooper:
  11. Cooper, S. B., y Leeuwen, J. van. (2013). Alan Turing: His Work and Impact. Waltham-Kidlington: Elsevier Science.
  12. Copeland, B. J. (2004). The Essential Turing. Oxford: Clarendon Press.
  13. Bibliografía secundaria:
  14. Börger, E., & Stärk, R. (2012). Abstract State Machines: A Method for High-Level System Design and Analysis. Berlín: Springer Science & Business Media.
  15. Church, A. (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. The Journal of Symbolic Logic, 2(1), 42-43.
  16. Copeland, B. J., & Sylvan, R. (1999). Beyond the Universal Turing Machine. Australasian Journal of Philosophy, 77(1), 46-66.
  17. Gandy, R. (1980). Church’s Thesis and Principles for Mechanisms. En J. Barwise (ed.), The Kleene Symposium. (pp. 123–148). Ámsterdam-Nueva York: North-Holland.
  18. Gurevich, Y. (2018). Evolving Algebras 1993: Lipari Guide. arXiv:1808.06255 [cs, math]. Recuperado de http://arxiv.org/abs/1808.06255 (Trabajo original publicado en 1995).
  19. Gödel, K. (1990). Collected Works. II: Publications 1938–1974. S. Feferman, J. Dawson, S. Kleene, G. Moore, R. Solovay y J. van Heijenoort (eds.), Oxford: Oxford University Press.
  20. Hasslacher, B. (1988). Beyond the Turing Machine. En R. Herken, (ed.), The Universal Turing Machine: A Half-Century Survey. (pp. 417-433). Oxford: Oxford University Press.
  21. Herken, R. (1988). The Universal Turing Machine: A Half-Century Survey. Oxford: Oxford University Press.
  22. Piccinini, G. (2007). Computing Mechanisms. Philosophy of Science, 74(4), 501–526.
  23. Shagrir, O. (2002). Effective Computation by Humans and Machines. Minds and Machines, 12(2), 221-240.
  24. Shapiro, S. (2006). Effectiveness. En S. Rahman & J. Symons (eds.), The Age of Alternative Logics. (pp. 37-49). Dordrecht: Springer.
  25. Sieg, W. (1994). Mechanical Procedures and Mathematical Experience. En A. George (ed.), Mathematics and Mind. (pp. 71-117). Oxford: Oxford University Press.
  26. Sieg, W. (2002). Calculations by Man & Machine: Mathematical Presentation. En P. Gärdenfors, J. Wolenski y K. Kijania-Placek (eds.), In the Scope of Logic, Methodology and Philosophy of Science: Volume One of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999. (pp. 247-262). Dordrecht: Springer.