ALAN TURING, SU OBRA Y LOS EFECTOS SOBRE LA CALCULABILIDAD
Resumen
Este artículo presenta una visión general de los temas de investigación de Alan Turing, centrado en los desarrollos y aportes a la Teoría de la Calculabilidad. Basándose en los lineamientos sobre el problema de la decisión (Entscheindungs problem) de D. Hilbert y con el fin de dar una respuesta a la pregunta: ¿la Axiomática formal cuenta con un método efectivo para decidir que una fórmula puede ser verdadera o falsa?, Turing responde con una negativa por medio de un método mecanicista llamado la máquina de Turing, que prueba la indecidibilidad de la Axiomática y presenta las bases de la Calculabilidad, y posteriormente la de la Informática.
Citas
Aho, A. V.; Hopcroft, J. E.; Ullman, J. D. (1983). “Data Structures and Algorithms”. Addison-Wesley Publishing Company.
Anderson, A. R. (Direction), Guieze, G. (Présentation) (1983). “Pensée et Machine”.Ed. Champ Vallon.
Bernays, P. (1930). “La philosophie des mathématiques et la théorie de la démonstration de Hilbert”. Dans: “Philosophie des Mathématiques”. Introduction et traductio de Hourya Sinaceur. Paris: Librarie Philosophique J. Vrin, 2003. (Mathesis: Michel Blay- Hourya Sinaceur), p. 80- 81.
(2004). “The blackwell guide to the philosophy of computing and information”. Ed. by Luciano Floridi. Blackwell Publishing Ltda.
Blanché, R. “L’Axiomatique” (1990). Paris: Quadrige PUF (1ère édition, 1955).
Blanché, R. et Dubucs, J. (1996). “La Logique et son histoire”, Paris: Armand Colin (Collection “U”, série Philosophie).
Boniface, J. (2004). “Hilbert et la notion d’existence en mathématiques”. Paris: Librairie Philosophique J. Vrin (Mathesis: Michel Blay- Hourya Sinaceur).
Booker, A.R. (2006). “Turing and the Riemann hypothesis”. Notices Amer. Math. Soc., 53(10): 1208-1211.
Bretón, P. (1990). “Une Histoire de l’Informatique”. Paris: Eds. La Découverte.
Chabert, Jean-Luc; Barbin, Evelyn; Guillemot, Michel; Pajus, Anne Michel; Borrowczyk, Jacques; Djebbar, Ahmed; Martzloff, Jean Claude (1994). “Histoire d’Algorithmes.Du caillou à la puce”. Paris: Editions Belin.
Chaitin, G. J. (1987). “Information, Randomness and Incompleteness: Papers on Algorithmic Information Theory”. Singapore: World Scientific.
Davis, Martín (1988). “Influences of Mathematical Logic on Computers Science”. Dans: The Universal Turing Machine. A half-century survey. Ed. Par Rolf Herken, pp. 315-326.
Davis, M. (1988). “Mathematical Logic and the Origin of Modern Computers”.
Dans: The Universal Turing Machine. A half-century survey, ed. par Rolf Herken, pp. 149-174.
Delahaye, J. P. (1999). “Information, complexité et hasard”. 2nd. éd. revue. Paris: Hermes.
Dellesert, A. (2000). “Gödel: une révolution en Mathématiques”, essai sur les conséquences scientifiques et philosophiques des théorèmes gödeliens. Lausanne, Presses Polytechniques et Universitaires Romandes.
Dreyfus, H. (1984). “L’Intelligence Artificielle: Mythes et Limites”. Paris: Flammarion.
Dupuy, J. P. (1994). “Aux Origines des Sciences Cognitives”. Paris: Editions La Découverte.
Durand, B., et Zvonkin, A. (2004). ”Complexité de Kolmogorov”. Dans: L’héritage de Kolmogorov en mathématiques”: Eric Charpentier, Annick Lesne, Nikolai Nikolski.Paris: Belin.
Floridi, Luciano (2004). “Information”. Dans: “The Blackwell Guide to the Philosophy of Computing and Information”. Ed. by Luciano Floridi. Blackwell Publishing Ltda., pp. 40-61.
Gandy, Robin O. (1998). “The confluence of ideas in 1936”, dans The Universal Turing Machine. A half-century survey.
Gauthier, Yon (1997). “Logique et Fondements des Mathématiques”. Diderot Eds. Arts & Science.
Gödel, Kurt (1965). “On undecidable propositions of formal mathematical systems”. Polycopie d’un cours de 1934 à l’Institut des Etudes Avancées de Princeton, dans: “The Undecidable”, ed. Martín Davis, Raven Press, pp. 39-71.
Gödel, K. (1989). “Sur les propositions formellement indécidables des Principia mathematica et des systèmes apparentés I”. 1931. Dans: “Nagel, Ernest; Newman, James R.; Gödel, Kurt; Girard, Jean Yves: “Le Théorème de Gödel”. Traductions de l’anglais et de l’allemand par Jean Baptiste Scherrer. Paris: Editions du Seuil.
Guillaumaud, J. (1971). “Norbert Wiener”. Savants du monde entier. Editions Seghrs.
Gunderson, K. (1983). “Le Jeu de l’Imitation”. Dans: Pensée et Machine. Ed. Champ Vallon.
Herken, R. éd. (1988). “The Universal Turing Machine. A half-century survey”. Oxford University Press (1er. éd.). Wien, New York, Springer-Verlag, 1994-1995 (2d. éd.).
Hilbert, D. (1900). “Conférence 1900: sur les problèmes futurs des mathématiques;compte rendu du 2ème”. Paris: Congrès International des Mathématiciens.
Hilbert, D. et Bernays, P. (1934). “Fondements des Mathématiques 1”. Traduction de l’ouvrage “Grundlagen der Mathematik 1” (Springer) 2ème. éd. (1968) avec les passages parallèles de la 1ère. édition. Traduction de l’allemand par F. Gaillard et M. Guillaume. Ed. L’Harmattan, 2002, 2 vols.
Hilbert D. (1925 ). “Sur l’infini”; traduit par André Weil. Über das unendliche: conférence prononcée le 4 Juin 1925 à l’occasion d’un congrès des mathématiciens organisé à Munster i. w. par la Société Mathématique de Wesphalie en l’honneur de la mémoire de Weierstrass. L’original de cette traduction a paru en allemand dans les Math. Ann. t. 95.
Hodges, Andrew (1988). “Alan Turing ou l’énigme de l’intelligence”. Paris: Eds. Payot.
Hottois, G. (2002). “Penser la Logique: une introduction technique et théorique à la philosophie de la logique et langage”. 2ème ed. Bruxelles, De Boeck Université.
(1996). “Introduction Algorithmique Générale et Numérique”. Paris:
Masson.
(1952). Kleene, Stephen C.: “Introduction to Metamathematics”. Amsterdam North Holland.
Kleene, S. C. (1971). “Logique Mathématique”. Traduction de Jean Largeault. Paris: Lib. Armand Collin.
Kleene, S. C. (1988). “Turing´s Anaysis of Computers and Major Applications”. Dans: The Universal Turing Machine. A half-century survey, ed. par Rolf Herken, pp.17-53.
Kolmogorov, A. N. (1965). “The approach to the definition of the concept of “quantity of information” (en russe: Problemy Peredachi informatsii), 1(1):3-11.
Ladriere, J. (1957). “Les Limitations Internes des Formalismes: Etude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques”. Paris: GAUTHIER-VILLARS Ed. “Collection de Logique Mathématique”. Série B. Monographies réunies par M.R. Feys (Louvain).
Lalement, R. (1990). “Logique, Réduction, Résolution”. Paris: Masson.
Largeult, J. (1993). “La Logique”, Paris: PUF, 2ème éd. corrigée.
Lassegue, J. (1998). “Turing”. Paris, Les Belles Lettres.
Levy, P. (1990). “Les Technologies de l´Intelligence: l´avenir de la pensée à l´ère informatique”. La Découverte.
Mackdy, D.M. (1969). “Information, mechanism and maching”. Cambridge: MIT Press.
Martín, B. (2004). “Codage, Cryptologie et Applications”. Presses Polytechniques et Universitaires Romandes (PPUR), Avril. Série: Technique scientifique Télécom-France.
Markov, A. A. (1961). “La théorie des algorithmes”, Tr. Math. Inst. Steklov. Vol. 38 (en russe); trad. Angl.: AMS Translation 15.
Martín, R. (1964). “Logique Contemporaine et Formalisation”. Paris: PUF.
McCulloch, W. S. (1949). “The Brain as a Computing Machine”, dans Electrical Engineering, June, LXVIII, pp. 492-497. Traduction Française: “Du cerveau comme calculateur”, dans “Sciences Cognitives. Textes Fondateurs (1943-1950)”, ibid. pp. 189-214.
McCulloch, Warren. S. (1953). “Une comparaison entre les machines à calculer et le cerveau” dans “Les Machines à penser”, colloque janvier 1951. Paris: CNRS, pp. 425-443.
Minsky, M.L. (1967). “Computation: Finite and Infinite Machines”. Prentice Hall, Englewood Cliffs, New Jersey. (Series in Automatic Computation, George Forsythe, éd.).
Mosconi, J. (1998). “Calculabilité et Formalisation”. pp. 47-65. Dans “Le Formalisme en Question: Le tournant des années trente”. Edité par Frédéric Nef et Denis Vernant. Paris, Vrin. (Problèmes et Controverses: Directeur Jean François Courtine).
Mosconi, J. (1989). “La Constitution de la Théorie des Automates”. Thèse de Doctorat Histoire et Philosophie des Sciences, préparée sous la direction de Suzanne Bachelard). 2 volumen.
Nagel, E.; Newman, J. R.; Gödel, K.; Girard, J. Y. (1989). “Le Théorème de Gödel”. Traductions de l’anglais et de l’allemand par Jean Baptiste Scherrer. Paris: Editions du Seuil.
Piguet, Ch.; Hugli, H. (2004). ”Du zéro à l´ordinateur. Une brève histoire du calcul” Lausanne, Presses polytechniques et universitaires romandes.
Poincaré, H. (1968). “La Science et l´Hypothèse”. Paris: Flammarion.
Pradilla Rueda, M. (2008). “Vers une epistémologie de la théorie informatique”. Paris: Université Paris 1 - Panthéon Sorbonne. Thèse Docteur en Philosophie.
Putnam, H. (1983). “Minds and machines”, Dimensions of Mind: A symposium, Sydney Hook Ed., New York, University Press, New York, 1960. Trad. Française, “Pensée et Machine”, Anderson A.R., éd. Seyssel: Editions du Champ Vallon, pp. 110-134.
Rabin, M. O.; Scott, D. (1959). “Finite automata and their decision problems”. IBM, Dans: Journal of Research and Development. Avril, 3(2):114 -125.
Robinson, J.A. (1965). “A machine oriented logic based on the resolution principle”. Dans: J. ACM 12: 1, 23: 41.
Rivenc, F.; Rouilhan, P. de (1992). “Logique et Fondements des Mathématiques. Anthologie (1850-1914)”, Paris: Payot.
Rossenblueth, A., Wiener, N., Bigelow, J. (1995). “Comportement, But et Téléologie”. Dans: Sciences Cognitives. Textes Fondateurs (1943-1950). Compilation de Aline Pélisser et Alain Tête. Paris: PUF.
Rouilhan, P. de (1988). “Frege les paradoxes de la représentation”. Paris: Les Editions de Minuit.
Scholz, H. (1968). “Esquisse d´une Histoire de la Logique”. Traduit de l´allemand par E. Coumet, Fr. de Laur, J. Sebestik. Paris: Aubier-Montagne.
Schuhl, A. (2004). ”Les ordinateurs de demain”. Cité de Sciences et de l’Industrie: Editions Le Pommier. Wiener, Rosenblueth, Bigelow, McCulloch, Pitts, von Neumann, Hebb, Weaver.
Shannon Turing (1995). Sciences cognitives: textes fondateurs (1943- 1950). Rassemblés et traduits par Aline Pélissier. Présentés et annotés par Alain Tête. Paris: PUF.
Searle, J. (1980). “Minds, Brains and Programs”. Dans: Behavioral and Brains Sciences, 3(3):417- 458.
Sieg, W.; Byrnes, J. (1998). “Gödel, Turing, and K-Graph Machines”. To appear in: Logic in Florence. Edited by A. Cantini, E.Casari, P. Minari; Kluwer Academic Publishers.
Sinaceur, H.; Bourguinon, J. P. (1993). “David Hilbert et les Mathématiques du XX ième siècle”. Dans: La Recherche, 257, sep., vol. 24. Traduction en espagnol dans: “Mundo Científico”. 3(140) :936-943.
Shannon, C. E., Mccarthy, J. (1956). “Automata Studies”, Princeton: Princeton University Press.
Shannon, C. E. (1993). “Collected Papers”. Eds. N. J. A. Slone and A. D. Wyner. Los Alamos, C.A.: IEEE Computer Society Press.
Stern, J. (1990). “Fondements Mathématiques de l’Informatique”. Paris: Ed. Science Internationale.
Turing, A. M. (1952). “The chemical basis of morphogenesis”. En: Phil. Tran. Roy. Soc. B 237, pp. 37-52.
Turing, A. M. (1995). “Computing Machinery and Intelligence”. Dans: Mind, vol. 59, no. 236, 1950. Trad. française dans: “Sciences Cognitives. Textes Fondateurs (1943-1950)”. Paris: PUF.
Turing, A. M. (1995). “On computable numbers, with in application to the
Entscheidungsproblem” aparece originalmente en los Proceedings of the Mathematical Society, serie 2 vol. 42 (1936-1937), p. 230-265.; traducido al francés por Julien Basch y Patrice Blanchard en: Jean Yves Girard et Alan Turing, “La Machine de Turing”, Paris: Editions du Seuil, pp.47-104.
Turing, A. M.; Girard, J. I. (1995). “La machine de Turing”. Paris: Eds. du Seuil.
Vernant, D. (1986). “Introduction à la Philosophie de la Logique”. Bruxelles: Pierre Mardaga Editeur.
Von Neumann, J. (1992). “The Computer and Brain”. Traduction française: “L´ordinateur et le cerveau”, traduit de l´américain par Pascal Engel, suivi de “Les machines molles de von Neumann” par Dominique Pignon. Paris: Editions La Découverte.
Wagner, P. (1998). “La Machine en Logique”. Paris, PUF, (Science Histoire et Société).
Wang, H. (1975). “From mathematics to philosophy”. London: Routledge & Kegan Paul.
Watier, G. (2001). “Le calcul confié aux machines”. Paris: Ellipses Editions Marketing.
Wiener, N. (1995). “Cybernetics or control and communication in the animal and the machine”, MIT Press, 1961. Traduction française “La Cybernétique ou le contrôle et la Communication chez l’Animal et la Machine”. Dans: “Sciences Cognitives. Textes Fondateurs (1943-1950)”. Compilation de Aline Pélisser et Alain Tête. Paris: PUF.
Wiener, N. (1962). “Cybernétique et Société”. Paris: éditions Deux-Rives.
