¿Existen las máquinas aceleradas de Turing?
Paradojas y posibilidades lógicas
DOI:
https://doi.org/10.37467/revtechno.v13.5005Palabras clave:
Máquinas Aceleradas de Turing, Súper-tareas, Paradojas, Existencia, Posibilidad Lógica, Análisis Modal, Filosofía de la ComputaciónResumen
Las máquinas aceleradas de Turing (ATMs) son dispositivos capaces de ejecutar súper-tareas. Sin embargo, el simple ejercicio de definirlas ha generado varias paradojas. En el presente artículo se definirán las nociones de súper-tarea y ATM de manera exhaustiva y se aclarará qué debe entenderse en un contexto lógico-formal cuando se pregunta por la existencia de un objeto. A partir de la distinción entre posibilidades lógicas y físicas se disolverán las paradojas y se concluirá que las ATMs son posibles y existen como objetos abstractos.
Citas
Achtner, W. (2005). Infinity in science and religion. The creative role of thinking about infinity. Neue Zeitschrift für systematische Theologie und Religionsphilosophie, 47, 392-411.
Allis, V. y Koetsier, T. (1991). On some paradoxes of the infinite I. The British Journal for the Philosophy of Science, 42, p. 187-194.
Allis, V. y Koetsier, T. (1995). On some paradoxes of the infinite II. The British Journal for the Philosophy of Science, 46, 235-247.
Alonso, J. A. et al. (2007). Curso práctico de teoría de conjuntos. Repositorio de la Universidad de Sevilla: <http://www.cs.us.es/~jalonso/publicaciones/2007-LibroTeoriaConjuntos.pdf>.
Ambrose, A. (1935). Finitism in Mathematics (I y II). Mind, 35, 186-203 y 317-340.
Benacerraf, P. (1962). Tasks, Super-Tasks, and the Modern Eleatics. Journal of Philosophy 59, 765-784.
van Bendegem, (1994). Ross’ Paradox is an Impossible Super-task. British Journal of Philosophy of Science, 45, 743-748:
Benítez, A. (2022). Inteligencia Artifical en perspectiva. Madrid.
Black, M (1951). Achilles and the Tortoise, Analysis 11, 91–101.
Blake, R. M. (1926). The Paradox of Temporal Process, Journal of Philosophy 23, 645–654.
Boolos, G. S. y Jeffrey, R. C. (1980). Computability and Logic, 2nd edition, Cambridge: Cambridge University Press
Carnap, R. (1932). Überwindung der Metaphysik durch Logische Analyse der Sprache. Erkenntnis, II.
Chihara, C. S. (1965). On the Possibility of Completing an Infinite Process, Philosophical Review 74, 74–87.
Copeland, B. J. (2002). Accelerating Turing Machines. Minds and Machines 12, 281-300.
Copeland, B.J. and Sylvan, R. (1999). Beyond the Universal Turing Machine, Australasian Journal of Philosophy 77, 46–66.
Diels, H. y Krantz, W. (1952). Die Fragmente der Vorsokratiker. Sexta Edición. Cambridge.
Doyle, J. (1982). What is Church's Thesis? Laboratory of Computer Science, MIT, Cambridge, MA.
Drake, F. (1974). Set Theory. North Holland.
Earman, J. y Norton, J. D. (1993). Forever Is a Day: Supertasks in Pitowsky and Malament–
Hogarth Spacetimes. Philosophy of Science 60, 22–42.
Earman, J. y Norton, J. D. (1996). Infinite Pains: The Trouble with Supertasks, en A. Morton and S.P. Stich, eds., Benacerraf and his Critics, Oxford: Blackwell.
Fernández Cuesta, J. A. (2022). La lógica modal como herramienta metodológica en epistemología: notas para (otra) posible superación de los argumentos escépticos. Human Review. International Humanities Review, 11, 71-79.
Fernández Cuesta, J. A. y Sánchez Ovcharov, C. (2023). Contrafácticos Cuánticos: aproximación lógico-filosófica a las medidas cuánticas sin interacción. Revista Colombiana de Filosofía de la Ciencia, 23 [aceptado y pendiente de publicación].
Fernández Mateo, J. (2022). Realidad artificial. Un análisis de las potenciales amenazas de la inteligencia Artificial. VISUAL REVIEW. International Visual Culture Review / Revista Internacional De Cultura Visual, 9(2), 235–247.
Fernández Prida, J. (2004). Teorías inseparables. Madrid: Trotta.
Frápolli Sanz, M. J. (2014). Cuerpos y números ¿Qué significa existir? En Villar Ezcurra, A. y Sánchez Orantos, A. (eds.), Una ciencia humana: libro homenaje a Camino Cañón Loyes (pp. 59-72). Universidad Pontificia de Comillas.
Frápolli Sanz, M. J. (2023). The Priority of Propositions. A Pragmatist Philosophy of Logic. Springer: Synthese Library, 475.
French, A. P. (1968). Special Relativity. MIT Introductory Physics.
Gherab Martín, K. (2022). Mentes contra Máquinas: revisión histórica y lógico-filosófica del argumento gödeliano de Lucas-Penrose. Human Review. International Humanities Review, 11, 185-195.
Gherab Martín, K. y Sánchez Ovcharov, C. (2010). Conociendo el efecto Zenón cuántico en experimentos contrafácticos: una aproximación filosófica. Ontology Studies 10, 115-130.
Gold, E. M. (1965). Limiting Recursion. Journal of Symbolic Logic 30, 28–48.
Grünbaum, A. (1968). Modern Science and Zeno’s Paradoxes, London: Allen and Unwin.
Hamilton (1982). Numbers, Sets and Axioms: The Apparatus of Mathematics. New York: Cambridge University Press.
Hamkins (2002). Infinite Time Turing Machines. Minds and Machines, 12, 521-539.
Hamkins, J. D. y Lewis, A. (2000). Infinite Time Turing Machines. Journal of Symbolic Logic, 65, 567–604.
Hinton, J.M and Martin, C.B. (1954). Achilles and the Tortoise. Analysis 14, 56–68.
Hofstadter, D.R. (1980). Gödel, Escher, Bach: An Eternal Golden Braid, Harmondsworth: Penguin.
Hogarth, M.L. (1992). Does General Relativity Allow an Observer to View an Eternity in a Finite Time?. Foundations of Physics Letters 5, 173–181.
Holgate, J. (1994). Mathematical Notes on Ross' Paradox. British Journal for the Philosophy of Science, 45,302-4.
Kripke (1982). Wittgenstein on Rules and Private Language. Harvard: Harvard University Press. Leblac (1993). Infinity in theology and mathematics. Religious Studies 29, 51-62.
Littlewood (1953). A Mathematician's Miscellany. London: Methuen.
Malík, J. (2022). Wrestling with the Posthuman: Understanding the Relationship between Human Autonomy and Technology. TECHNO REVIEW. International Technology, Science and Society Review /Revista Internacional De Tecnología, Ciencia Y Sociedad, 11(2), 141–158.
Manzano, M. y Aranda, V. (2022). Many-Sorted Logic. The Stanford Encyclopedia of Philosophy. Edward N. Zalta and Uri Nodelman eds. < https://plato.stanford.edu/archives/win2022/entries/logic-many-sorted/>.
Ordóñez Pinilla, C. A. (2006). Monismo anómalo, intencionalidad, falacias mentales e inteligencia artificial. Bajo Palabra, (1), 38–54.
Post, E.L. (1936). Finite Combinatory Processes – Formulation 1. Journal of Symbolic Logic 1, 103–105.
Priest, G. (2012). An Introduction to Non-Classical Logic. Segunda edición. Cambridge University Press.
Priest, G. (2014). One: Being an Investigation Into the Unity of Reality and of its Parts. New York: Oxford University Press.
Putnam, H. (1965). Trial and Error Predicates and the Solution of a Problem of Mostowski. Journal of Symbolic Logic 30, 49–57.
Rayo, A. y Williamson, T. (2003). A Completeness Theorem for Unrestricted First-Order Languages. En J. C. Beall ed. Liars and Heaps: New Essays on Paradox, Oxford: Oxford University Press.
Ross (1988). A First Course in Probability. Tercera edición. New York & London: Macmillan.
Royce (1899). The World and the Individual. Macmillan.
Russell, B.A.W. (1915). Our Knowledge of the External World as a Field for Scientific Method in Philosophy. Chicago: Open Court.
Russell, B.A.W. (1918). The Philosophy of Logical Atomism. En Logic and Knowledge, R. C. Marsh ed. London: Allen & Unwin, 177-281.
Russell, B.A.W. (1924). Logical Atomism. En Logic and Knowledge, R. C. Marsh ed. London: Allen & Unwin, 160–179.
Russell, B.A.W. (1936). The Limits of Empiricism. Proceedings of the Aristotelian Society 36, 131–150.
Schlick, M. (1930). Die Wende der Philosophie. Erkenntnis I.
Shagrir, O. (2004). Super-tasks, accelerating Turing machines and uncomputability. Theoretical Computer Science, 317, 105-114.
Shagrir, O. (2007). Physical computation: How general are Gandy’s principles for mechanisms? Minds and Machines 17, 217-231.
Steinhart (2007). Infinitely complex machines. Intelligent Computing Everywhere. London: Springer, 25-43.
Stewart (1991). Deciding the Undecidable. Nature 352, 664–665.
Taylor (1951). Mr. Black on Temporal Paradoxes. Analysis 12, 38–44.
Thomson (1954). Tasks and Super-Tasks. Analysis 15, 1–13.
Turing (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2, 42 (1936–37), 230–265.
Turing (1950). ‘Programmers’ Handbook for Manchester Electronic Computer. University of Manchester Computing Laboratory. Un facsimile digital del original se puede consultar en The Turing Archive for the History of Computing: <http://www.AlanTuring.net/programmers_handbook>.
Tymoczko y Henle (1995). Sweet Reason: A Field Guide to Modern Logic. Freeman Press.
Van Bendegem (1994). Ross’ Paradox is an Impossible Super-task. British Journal of Philosophy of Science, 45, 743-748.
Watling (1952). The Sum of an Infinite Series. Analysis 13, 39–46.
Weyl, H. (1927). Philosophie der Mathematik und Naturwissenschaft. Munich: R. Oldenbourg. Traducción inglesa citada siguiendo Weyl, H. (1963). Philosophy of Mathematics and Natural Science. New York: Atheneum.
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Aquellos autores/as que publiquen en esta revista, aceptan los términos siguientes:
- Los autores/as conservarán los derechos morales sobre la obra y cederán a la revista los derechos comerciales.
- Transcurrido un año desde su publicación, la versión del editor pasará a estar en acceso abierto en la web de la editorial, pero la revista mantendrá el copyright de la obra.
- En el caso de que los autores deseen asignar una licencia abierta Creative Commons (CC), podrán solicitarla escribiendo a publishing@eagora.org
