Sobre la relevancia de la tesis de Turing

Autores
D’Andrea, Aldana
Año de publicación
2017
Idioma
español castellano
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Fil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina.
Fil: D’Andrea, Aldana. Universidad Nacional de Córdoba; Argentina.
Fil: D’Andrea, Aldana. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
En este artículo intentamos dar cuenta de la relevancia de la tesis de Turing sobre el concepto de cálculo efectivo en relación con la tesis de Church sobre el mismo tema. Si bien ambas tesis son extensionalmente equivalentes y proporcionan, por lo tanto, una misma solución al Entscheidungsproblem de Hilbert, hay una especie de acuerdo en considerar que la formulación de Turing es la más satisfactoria o la más convincente. La pregunta es por qué se da tal acuerdo. En respuesta a esta pregunta destacamos la complejidad del Entscheidungsproblem e indagamos en qué medida las propuestas de Church y Turing captan dicha complejidad.
In this paper we seek to explain the relevance of Turing’s thesis about the concept of effective calculation in relation to Church’s thesis about the same topic. Even though both theses are equivalent extensionally and provide therefore the same solution to Hilbert’s Entscheidungsproblem, there is a kind of agreement in considering that Turing’s formulation is the most satisfactory or the most convincing. The question is why such an agreement exists. In response to this question particular attention is given to the complexity of the Entscheidungsproblem and to the extent to which Church and Turing’s proposals catch that complexity.
Fuente
Metatheoria
1853-2322 (impresa)
1853-2330 (en línea)
Materia
Tesis de Church-Turing
Cálculo efectivo
Entscheidungsproblem
Hilbert, David, 1862-1943
Turing, Alan, 1912-1954
Church, Alonzo, 1903-1995
Church–Turing thesis
Effective calculability
Tese de Church-Turing
Cálculo efetivo
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
Repositorio
RIDAA (UNQ)
Institución
Universidad Nacional de Quilmes
OAI Identificador
oai:ridaa.unq.edu.ar:20.500.11807/2489

id RIDAA_73b8232911caf8bf71ed79460efd914e
oai_identifier_str oai:ridaa.unq.edu.ar:20.500.11807/2489
network_acronym_str RIDAA
repository_id_str 4108
network_name_str RIDAA (UNQ)
spelling Sobre la relevancia de la tesis de TuringOn the relevance of Turing’s thesisD’Andrea, AldanaTesis de Church-TuringCálculo efectivoEntscheidungsproblemHilbert, David, 1862-1943Turing, Alan, 1912-1954Church, Alonzo, 1903-1995Church–Turing thesisEffective calculabilityTese de Church-TuringCálculo efetivoFil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina.Fil: D’Andrea, Aldana. Universidad Nacional de Córdoba; Argentina.Fil: D’Andrea, Aldana. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.En este artículo intentamos dar cuenta de la relevancia de la tesis de Turing sobre el concepto de cálculo efectivo en relación con la tesis de Church sobre el mismo tema. Si bien ambas tesis son extensionalmente equivalentes y proporcionan, por lo tanto, una misma solución al Entscheidungsproblem de Hilbert, hay una especie de acuerdo en considerar que la formulación de Turing es la más satisfactoria o la más convincente. La pregunta es por qué se da tal acuerdo. En respuesta a esta pregunta destacamos la complejidad del Entscheidungsproblem e indagamos en qué medida las propuestas de Church y Turing captan dicha complejidad.In this paper we seek to explain the relevance of Turing’s thesis about the concept of effective calculation in relation to Church’s thesis about the same topic. Even though both theses are equivalent extensionally and provide therefore the same solution to Hilbert’s Entscheidungsproblem, there is a kind of agreement in considering that Turing’s formulation is the most satisfactory or the most convincing. The question is why such an agreement exists. In response to this question particular attention is given to the complexity of the Entscheidungsproblem and to the extent to which Church and Turing’s proposals catch that complexity.Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero2017-04-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfhttp://ridaa.unq.edu.ar/handle/20.500.11807/2489Metatheoria1853-2322 (impresa)1853-2330 (en línea)reponame:RIDAA (UNQ)instname:Universidad Nacional de Quilmesspainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/2025-09-04T09:43:49Zoai:ridaa.unq.edu.ar:20.500.11807/2489instacron:UNQInstitucionalhttp://ridaa.unq.edu.ar/Universidad públicaNo correspondehttp://ridaa.unq.edu.ar/oai/snrdalejandro@unq.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:41082025-09-04 09:43:49.715RIDAA (UNQ) - Universidad Nacional de Quilmesfalse
dc.title.none.fl_str_mv Sobre la relevancia de la tesis de Turing
On the relevance of Turing’s thesis
title Sobre la relevancia de la tesis de Turing
spellingShingle Sobre la relevancia de la tesis de Turing
D’Andrea, Aldana
Tesis de Church-Turing
Cálculo efectivo
Entscheidungsproblem
Hilbert, David, 1862-1943
Turing, Alan, 1912-1954
Church, Alonzo, 1903-1995
Church–Turing thesis
Effective calculability
Tese de Church-Turing
Cálculo efetivo
title_short Sobre la relevancia de la tesis de Turing
title_full Sobre la relevancia de la tesis de Turing
title_fullStr Sobre la relevancia de la tesis de Turing
title_full_unstemmed Sobre la relevancia de la tesis de Turing
title_sort Sobre la relevancia de la tesis de Turing
dc.creator.none.fl_str_mv D’Andrea, Aldana
author D’Andrea, Aldana
author_facet D’Andrea, Aldana
author_role author
dc.subject.none.fl_str_mv Tesis de Church-Turing
Cálculo efectivo
Entscheidungsproblem
Hilbert, David, 1862-1943
Turing, Alan, 1912-1954
Church, Alonzo, 1903-1995
Church–Turing thesis
Effective calculability
Tese de Church-Turing
Cálculo efetivo
topic Tesis de Church-Turing
Cálculo efectivo
Entscheidungsproblem
Hilbert, David, 1862-1943
Turing, Alan, 1912-1954
Church, Alonzo, 1903-1995
Church–Turing thesis
Effective calculability
Tese de Church-Turing
Cálculo efetivo
dc.description.none.fl_txt_mv Fil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina.
Fil: D’Andrea, Aldana. Universidad Nacional de Córdoba; Argentina.
Fil: D’Andrea, Aldana. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
En este artículo intentamos dar cuenta de la relevancia de la tesis de Turing sobre el concepto de cálculo efectivo en relación con la tesis de Church sobre el mismo tema. Si bien ambas tesis son extensionalmente equivalentes y proporcionan, por lo tanto, una misma solución al Entscheidungsproblem de Hilbert, hay una especie de acuerdo en considerar que la formulación de Turing es la más satisfactoria o la más convincente. La pregunta es por qué se da tal acuerdo. En respuesta a esta pregunta destacamos la complejidad del Entscheidungsproblem e indagamos en qué medida las propuestas de Church y Turing captan dicha complejidad.
In this paper we seek to explain the relevance of Turing’s thesis about the concept of effective calculation in relation to Church’s thesis about the same topic. Even though both theses are equivalent extensionally and provide therefore the same solution to Hilbert’s Entscheidungsproblem, there is a kind of agreement in considering that Turing’s formulation is the most satisfactory or the most convincing. The question is why such an agreement exists. In response to this question particular attention is given to the complexity of the Entscheidungsproblem and to the extent to which Church and Turing’s proposals catch that complexity.
description Fil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina.
publishDate 2017
dc.date.none.fl_str_mv 2017-04-01
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://ridaa.unq.edu.ar/handle/20.500.11807/2489
url http://ridaa.unq.edu.ar/handle/20.500.11807/2489
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de Quilmes
Universidad Nacional de Tres de Febrero
publisher.none.fl_str_mv Universidad Nacional de Quilmes
Universidad Nacional de Tres de Febrero
dc.source.none.fl_str_mv Metatheoria
1853-2322 (impresa)
1853-2330 (en línea)
reponame:RIDAA (UNQ)
instname:Universidad Nacional de Quilmes
reponame_str RIDAA (UNQ)
collection RIDAA (UNQ)
instname_str Universidad Nacional de Quilmes
repository.name.fl_str_mv RIDAA (UNQ) - Universidad Nacional de Quilmes
repository.mail.fl_str_mv alejandro@unq.edu.ar
_version_ 1842340601174949888
score 12.623145