Concepto de computabilidad en Alan Turing
DOI:
https://doi.org/10.15381/risi.v15i2.24781Palabras clave:
Computabilidad, Recursividad, Algoritmo, Tesis Church-Turing, Teoría de TuringResumen
Reflexionamos sobre el concepto de computabilidad, conceptos definidos en la década de los años 30 del siglo XX, basado en la conocida tesis de Church-Turing; que dice que una función matemática recursiva es equivalente a lo que ejecuta la máquina de Turing que contiene la idea de algoritmo, noción intuitiva de secuencia de instrucciones. Desde una perspectiva crítica (por lo tanto filosófica), consideramos que la tesis de Church-Turing no contiene plenamente la teoría de computabilidad que profesó Alan Turing, que las ideas de Turing tienen un sentido más amplio.
Descargas
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Derechos de autor 2022 Miguel Salinas Molina
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
LOS AUTORES RETIENEN SUS DERECHOS:
a. Los autores retienen sus derechos de marca y patente, y también sobre cualquier proceso o procedimiento descrito en el artículo.
b. Los autores retienen el derecho de compartir, copiar, distribuir, ejecutar y comunicar públicamente el artículo publicado en la Revista de investigación de Sistemas e Informática (por ejemplo, colocarlo en un repositorio institucional o publicarlo en un libro), con un reconocimiento de su publicación inicial en la Revista de investigación de Sistemas e Informática.
c. Los autores retienen el derecho a hacer una posterior publicación de su trabajo, de utilizar el artículo o cualquier parte de aquel (por ejemplo: una compilación de sus trabajos, notas para conferencias, tesis, o para un libro), siempre que indiquen su publicación inicial en la Revista de investigación de Sistemas e Informática (autores del trabajo, revista, volumen, número y fecha).