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
- Institución
- Universidad Nacional de Quilmes
- OAI Identificador
- oai:ridaa.unq.edu.ar:20.500.11807/2489
Ver los metadatos del registro completo
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 |