La comunidad matemática internacional ha planteado 23 problemas matemáticos famosos. La décima pregunta es: ¿Existe un procedimiento mecánico finito para determinar si la ecuación diofántica tiene solución? Aquí se presentan pasos de prueba limitados y mecánicos.
El problema, en términos actuales, es el algoritmo. Pero la gente no sabía qué era un "algoritmo" en ese momento. De hecho, en ese momento, muchos problemas en el campo de las matemáticas estaban estrechamente relacionados con el "algoritmo", por lo que se llamó la definición científica de "algoritmo".
Quieres salir. Más tarde, en la década de 1930, dos personas finalmente propusieron un método para definir algoritmos con precisión: uno era Turing y el otro era la Iglesia. Entre ellos, el modelo de máquina de Turing propuesto por Turing es relativamente intuitivo, por lo que rápidamente se hizo popular entre todos.
Acéptalo todo.
No sé si has oído hablar del nombre Turing. Quizás alguien conozca a Newton, Einstein o incluso a Von.
Neumann, pero no sé sobre Turing. Sin embargo, la contribución de Turing definitivamente no es menor que la de estos maestros científicos. La mayor contribución de Turing es que su modelo de máquina de Turing explica claramente los conceptos básicos y profundos de los algoritmos. Es precisamente por el fundamento teórico de Turing.
Solo así se podrá inventar el mayor invento desde el siglo XX e incluso de la historia de la humanidad: el ordenador. Por eso la gente llama a Turing el padre de la teoría informática.
Turing vivió durante la Segunda Guerra Mundial. Trabajó para el gobierno británico durante la Segunda Guerra Mundial y lo descifró con éxito.
Los cifrados alemanes han hecho contribuciones destacadas a Gran Bretaña. De hecho, fue debido a la Segunda Guerra Mundial que el gobierno británico estaba dispuesto a pagarle a Turing.
Construya la computadora más primitiva. Por supuesto, este tipo de computadora se usa especialmente para descifrar contraseñas, no la universal que usamos ahora.
Ordenador. (Hay una película llamada "Cryptozoology", el nombre en inglés es "enigma", que se basa en el descifrado del código alemán que hizo Turing en ese momento.
Adaptado de una historia, puedes buscarlo si estás interesado.)
Turing es una persona extraña. Sólo le gusta estudiar mucho solo y no le gusta comunicarse con los demás. Se dice que todavía es gay. Sabes, en Gran Bretaña en ese momento, la homosexualidad era un acto muy ilegal. Finalmente, al inicio de su carrera
cuando el viento soplaba en contra, se suicidó. Para conmemorar a este gran estudioso, la industria informática estableció el premio de mayor honor: ACM.
Premio Turing.
Por un lado, la aparición de la máquina de Turing sentó las bases de las computadoras digitales modernas (ya sabes, von Neumann se basó más tarde en Turing)
La idea de diseñar la primera computadora). Por otro lado, basándonos en el concepto básico y conciso de las máquinas de Turing, también podemos ver ¿cuál es el límite computable? Es decir, de hecho, las capacidades de las computadoras son, en principio, limitadas. Tenga en cuenta que
Los límites de la computadora de la que hablo aquí no significan que no pueda comer o barrer el piso, etc., sino que simplemente habla desde la perspectiva de la oficina de información.
Desde esta perspectiva, los ordenadores todavía tienen sus limitaciones. Éste es el problema del tiempo de inactividad de las máquinas de Turing. Este problema es más desde el punto de vista de Turing.
Lo que es más importante es que en su artículo, en realidad propuso "manualmente" un modelo de máquina de Turing para demostrar el problema del tiempo de inactividad de Turing.
Tipo.
Hablando del tiempo de inactividad de Turing, hay que mencionar el teorema de Gödel, la paradoja de Russell, la teoría de conjuntos de Cantor, etc.
Una serie de acontecimientos importantes. Ya a finales de 1919, Cantor llevó a cabo investigaciones básicas sobre la teoría de conjuntos. Ya sabes, contar
Aunque el aprendizaje es diverso, descubrí que todas las matemáticas se pueden resumir en el concepto de conjuntos, lo que significa que los conjuntos son la base de todas las matemáticas
. Por lo tanto, si sentamos las bases axiomas de la teoría de conjuntos, equivale a sentar las bases de las matemáticas. Saludable
Thor hizo esta contribución.
Además, para demostrar la conclusión de que hay más números reales que naturales, inventó un método de prueba llamado "eliminación diagonal". Inesperadamente, la influencia de este método fue muy profunda y amplia, hasta las fotografías posteriores.
El problema de parada y el teorema de Gödel son en realidad diferentes extensiones de este enfoque.
A finales de 2019, la gente estaba ocupada construyendo un sistema de axiomas matemáticos basado en la teoría de conjuntos. Sin embargo, justo cuando el edificio estaba a punto de ser terminado, algo terrible sucedió. La paradoja de Russell hizo añicos los sueños de los matemáticos. Acerca de Luo
Una versión popular de la paradoja vegetariana es: "Había un barbero en el pueblo y se impuso una regla: 'No lo des a esos lugares'.
También hay personas que se cortan el pelo. Ahora, ¿este barbero debería cortarse el pelo? Si intentas responder
esta pregunta notarás algo extraño: ¡la pregunta en sí parece imposible! Debido a esta extraña lógica,
¡El filósofo Russell derribó los cimientos de todo el edificio matemático!
¿Estás satisfecho con las respuestas anteriores?