Núm. 58 (2020): Enero - junio
Artículos

Estrategias de modelización en Alan Turing: términos y conceptos de máquina

Andrés Ilcic
Universidad Nacional de Córdoba
Pío García
Escuela de Filosofía, Universidad Nacional de Córdoba, Argentina
Biografía

Publicado 2019-12-13

Cómo citar

Ilcic, A., & García, P. (2019). Estrategias de modelización en Alan Turing: términos y conceptos de máquina. Tópicos, Revista De Filosofía, (58), 135–155. https://doi.org/10.21555/top.v0i58.1090

Descargas

Los datos de descargas todavía no están disponibles.

Altmetrics

Citas

Resumen

Como es bien conocido, en 1936 Alan Turing propuso sus máquinas automáticas como modelo de la computación realizada por un ser humano asistido sólo con recursos mecánicos. Sin embargo, tanto terminológicamente como conceptualmente habría más para decir acerca de la concepción de máquina en la obra de Turing. En el presente trabajo presentamos términos que, a nuestro entender, son relevantes para dar cuenta de las preocupaciones y problemas que Turing abordó luego de la propuesta inicial de fines de los años treinta. En el uso de dichos términos trataremos de mostrar la ampliación o extensión de la noción de máquina en general a partir de la de “máquina automática”. A su vez, identificamos en su obra una intención o actitudmodeladora en el que las máquinas se pueden usar como una forma de entender y explicar un fenómeno natural o abstracto.

Citas

  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.