Concepto de computabilidad en Alan Turing

Autores/as

  • Miguel Salinas Molina Universidad Nacional Mayor de San Marcos, Facultad de Matemáticas. Lima. Perú

DOI:

https://doi.org/10.15381/risi.v15i2.24781

Palabras clave:

Computabilidad, Recursividad, Algoritmo, Tesis Church-Turing, Teoría de Turing

Resumen

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

Los datos de descarga aún no están disponibles.

Descargas

Publicado

2022-12-30

Número

Sección

Artículos de Investigaciones Originales

Cómo citar

[1]
“Concepto de computabilidad en Alan Turing”, Rev.Investig.sist.inform., vol. 15, no. 2, pp. 87–105, Dec. 2022, doi: 10.15381/risi.v15i2.24781.