¿Acerca de Turing y el Premio Turing?
En 1935, Turing se interesó por la lógica matemática. La lógica matemática, también conocida como lógica formal o lógica simbólica, es una rama importante de la lógica. La lógica matemática utiliza métodos matemáticos, es decir, utiliza símbolos, fórmulas y axiomas para estudiar los procesos y leyes del pensamiento humano. Su origen se remonta al matemático alemán del siglo XVII Gottfried Wilhelm Leibniz (1646-1716). establecer un lenguaje simbólico preciso y universal y buscar una operación deductiva para utilizar la aritmética para resolver el problema de cómo razonan las personas. En el pensamiento de Leibniz, la lógica matemática, las matemáticas y las computadoras tienen un propósito unificado, que es algorítmica, informatizar e informatizar los procesos de pensamiento humano. Durante más de dos siglos, muchos matemáticos y lógicos han llevado a cabo un gran trabajo sustancial siguiendo las ideas de Leibniz, que gradualmente han mejorado y desarrollado la lógica matemática, y muchos conceptos se han ido aclarando gradualmente. Pero ¿qué es exactamente una "computadora"? Antes de Turing, nadie lo había dejado claro.
En 1936, Turing publicó su artículo "Sobre números computables con una aplicación al problema de Enstcheidungs". Curiosamente, el tema de este artículo es responder a uno de los famosos "23 problemas matemáticos" planteados por el matemático alemán David Hilbert en 1900, pero sólo se menciona en una nota al pie del artículo que "Por cierto" propone un modelo abstracto. de una computadora. Este modelo sostiene que utilizando tales computadoras, el razonamiento puede reducirse a unas pocas acciones mecánicas simples. Fue esta nota a pie de página la que abrió una nueva era en la historia de la informática y la tecnología. El modelo informático propuesto por Turing se conoce ahora como "Máquina de Turing". Después de la publicación del artículo de Turing, inmediatamente atrajo la atención de los científicos estadounidenses. La Universidad de Linden inmediatamente extendió una invitación a Turing, por lo que Turing viajó a los Estados Unidos por primera vez, trabajó con Church y recibió su doctorado en la Universidad de Linden en 1938. En Estados Unidos, Turing también conoció a otro importante fundador de la teoría de la informática: el genio científico John von Neumann (1903-1957), nacido en Hungría. Von Neumann admiraba mucho a Turing y lo invitó a trabajar para él, pero Turing no aceptó la invitación y regresó a la Universidad de Cambridge en 1938.
Tras el estallido de la Segunda Guerra Mundial, Turing alcanzó la edad del servicio militar y comenzó a servir en la guerra. Su trabajo principal era descifrar los códigos alemanes, por lo que tuvo méritos destacados. Después de la guerra, fue condecorado con el título de Oficial de la Orden del Imperio Británico (OBE), que es el máximo honor que se otorga a los no combatientes.
Después de la guerra, Turing continuó dedicándose a la investigación y el desarrollo de la teoría y la tecnología informática. Primero trabajó en el ordenador ACE (Automatic Computing Engine) en el Laboratorio Nacional de Física Británico NPL (National Physical Laboratory). y más tarde en la Universidad de Manchester se dedica a la investigación sobre el programa almacenado en la computadora MARK I. Luego trabajó en la computadora de programa almacenado MARK I en la Universidad de Manchester.
Debido a una serie de destacadas contribuciones y creaciones importantes, Turing fue elegido miembro de la Royal Society en 1951. Murió en su casa en junio de 1954 a la edad de 42 años después de comer una manzana venenosa.
2. Premio Turing
Para conmemorar al "Padre de la Informática", los descendientes del "Padre de la Informática" lo construyeron en Sackville Park, Manchester, Inglaterra. Una estatua de bronce de tamaño natural se inauguró el 23 de junio de 2001, el 89.º cumpleaños de Turing. La estatua de bronce en sí se inauguró el 23 de junio de 2001, el 89.º cumpleaños de Turing.
El Premio Turing fue establecido por la Association for Computing Machinery (ACM) 12 años después de la muerte de Turing (1966). La Asociación se celebró en Columbia, Nueva York, el 15 de septiembre de 1947. Se establece la Universidad. El propósito de su creación es promover el desarrollo y el intercambio académico de la informática y la tecnología. Desde su creación, ACM ha llevado a cabo activamente diversas actividades y ahora se ha convertido en una de las dos organizaciones académicas internacionales más influyentes en el campo de la informática (la otra es la IEEE Computer Society). El Premio Turing es el primer premio establecido por ACM en 1966 para recompensar a científicos destacados que hayan realizado contribuciones creativas en la investigación en ciencias de la computación y hayan promovido el desarrollo de la ciencia y la tecnología de la computación. La bonificación era modesta: comenzaba en 20.000 dólares y aumentaba a 25.000 dólares en 1989. El Premio Turing tiene requisitos extremadamente altos para los ganadores y el proceso de concesión es muy estricto. Generalmente, sólo un informático gana el premio cada año. Sólo unos pocos años disfrutan de este premio dos colaboradores o científicos que han realizado contribuciones en la misma dirección. . honor. Es el premio más prestigioso de la industria informática y se le conoce como el "Premio Nobel de la industria informática".