La teoría de los números computables publicada por matemáticos británicos en 1936
Es sinónimo del más alto honor en el campo de la informática, pero para el público en general, puede resultar desconocido. nombre. En 1936, Turing, de 24 años, publicó este artículo que influyó en la construcción de la informática. El título de este artículo "Números computables y su aplicación en entscheidungssprout" refleja de manera concisa la idea principal de este artículo, que es el estudio de los números computables y su determinación. Este libro gira en torno al contenido de este artículo y la introducción de cosas relacionadas. El propósito de este artículo es demostrar que un destacado matemático está equivocado. Entonces Turing realizó un estudio exhaustivo sobre la computación, qué es la computación, cómo definirla, si existen problemas incontables, si es posible juzgar si un problema es computable, etc. Luego, al imaginar una máquina que pudiera ejecutar varios algoritmos, dio una prueba concisa y brillante con referencia a Gödel y O'Toole.
Aun así, me sentí confundido y mareado después de leerlo. En general, para probar la hipótesis propuesta por Hilbert, Turing "tenía un procedimiento de toma de decisiones que nos decía si un argumento podía probarse mediante estos axiomas (el procedimiento de toma de decisiones al que se refería era un proceso computacional claro, es decir, Lo que ahora llamamos algoritmos). Creía que ingresar axiomas y posibles conclusiones en este proceso debería decirnos si esta posible conclusión puede ser probada por estos axiomas), definió el cálculo y diseñó dicho procedimiento de toma de decisiones (máquina de Turing). y luego probar el error de la hipótesis de Hilbert demostrando que hay problemas que la computadora no puede resolver. A través de la prueba de contradicción (paradoja de Russell de Barbour), se demuestra que tanto el problema de detención como el de aceptación son indecidibles (algunos. A Turing). La máquina puede aceptar su propio código, pero algunas no, pero ninguna máquina de Turing puede distinguir entre las dos situaciones)
Después de leerlo de nuevo, perdí más de la mitad de mis células cerebrales. Pero en general, definitivamente es así. mejor que directamente. Es fácil de leer porque el autor también proporciona una introducción a los conocimientos básicos, lo cual es un libro poco común para comprender el artículo.