¿Introducción a los premios Lingling?
Del 65438 al 0935, 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, símbolos, fórmulas y axiomas, para estudiar los procesos y leyes del pensamiento humano. Sus orígenes se remontan al gran matemático alemán Gottfried Wilhelm Leibniz (1646-1716) en el siglo XVII. Su propósito es establecer un método que sea preciso, exacto, exacto, exacto y exacto. En el pensamiento de Leibniz, la lógica matemática, las matemáticas y las computadoras tienen un propósito unificado, es decir, el cálculo y la informatización de los procesos del pensamiento humano, e incluso su implementación en las computadoras. Durante más de dos siglos, muchos matemáticos y lógicos han realizado un gran trabajo sustancial sobre las ideas de Leibniz, que gradualmente ha mejorado y desarrollado la lógica matemática, y muchos conceptos se han ido aclarando gradualmente. Sin embargo, ¿qué es una "computadora"? Antes de Turing, nadie podía saberlo.
En 1936, Turing publicó un artículo "Sobre los números computables y su aplicación a problemas deterministas". Curiosamente, el tema de este artículo es responder a uno de los famosos "23 problemas matemáticos" planteados por el gran matemático alemán David Hilbert en 1900. Sólo se propone una computadora en una nota al pie de su artículo. Con esta computadora, el razonamiento se puede reducir a simples acciones mecánicas. Esto es realmente un error. Fue esta nota a pie de página la que abrió una nueva era en la historia de la tecnología informática. El modelo computacional propuesto por Turing ahora se conoce 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. Turing fue inmediatamente invitado por la Universidad Clinton, por lo que Turing cruzó el océano por primera vez a los Estados Unidos para cooperar con la iglesia y recibió un doctorado de la Universidad Clinton 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 nacido en Hungría von Neumann (John von Neumann, 1903-1957). Von Neumann admiraba mucho a Turing y lo invitó a trabajar allí, pero Turing no aceptó la invitación y regresó a la Universidad de Cambridge en Inglaterra en 1938.
Tras el estallido de la Segunda Guerra Mundial, Turing alcanzó la edad militar y comenzó a servir en la guerra. Principalmente en el desciframiento de los códigos alemanes, hizo muchas contribuciones y recibió honores después de la guerra. Fue nombrado OBE (Oficial de la Orden del Imperio Británico), el más alto honor para 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, estudió la computadora ACE (Automatic Computing Engine) en NPL (National Physical Laboratory), y luego estudió la computadora de programa almacenado MARK I en la Universidad de Manchester. Debido a la serie de destacadas contribuciones y grandes creaciones de Turing, fue elegido miembro de la Royal Society en 1951. En junio de 1954 murió en su casa tras comer una manzana envenenada a la edad de 42 años.
2. Premio Turing
Para conmemorar a este "Padre de la Informática", las generaciones posteriores construyeron una estatua de bronce de tamaño natural de él en Sackville Park, Manchester, Inglaterra. La estatua fue inaugurada el 23 de junio de 2001, el 89 cumpleaños de Turing, y la estatua de bronce en sí fue fundida en China.
Doce años después de la muerte de Turing, en 1966, la estadounidense ACM (Association for Computing Machinery) decidió crear el Premio Turing. ACM se fundó en septiembre de 1947 en la Universidad de Columbia en Nueva York. Fue establecido para promover el desarrollo de la informática y la tecnología y los intercambios académicos.
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. El monto del bono no es demasiado alto. Al principio era de 20.000 dólares estadounidenses y aumentó desde 1989 a 25.000 dólares estadounidenses. El Premio Turing tiene requisitos extremadamente altos para ganar y el proceso de concesión es extremadamente estricto. Generalmente se otorga a un solo informático cada año, y sólo en unos pocos años disfrutan de este honor dos colaboradores o científicos que hayan realizado contribuciones en la misma dirección. Es el premio más prestigioso y noble en el campo de la informática y se conoce como el "Premio Nobel en el campo de la informática".