Sobre la relevancia de la tesis de Turing
Fil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo publishedVersion |
| Lenguaje: | Español |
| Publicado: |
Universidad Nacional de Quilmes
2017
|
| Materias: | |
| Acceso en línea: | http://ridaa.unq.edu.ar/handle/20.500.11807/2489 |
| Aporte de: |
| id |
I47-R153-20.500.11807-2489 |
|---|---|
| record_format |
dspace |
| spelling |
I47-R153-20.500.11807-24892023-11-16T12:55:39Z Sobre la relevancia de la tesis de Turing On the relevance of Turing’s thesis 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 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. 2017-04-01 info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion http://ridaa.unq.edu.ar/handle/20.500.11807/2489 spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ application/pdf Universidad Nacional de Quilmes Universidad Nacional de Tres de Febrero Metatheoria 1853-2322 (impresa) 1853-2330 (en línea) |
| institution |
Universidad Nacional de Quilmes |
| institution_str |
I-47 |
| repository_str |
R-153 |
| collection |
RIDAA - Repositorio Institucional Digital (UNQ) |
| language |
Español |
| 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 |
| spellingShingle |
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 D’Andrea, Aldana Sobre la relevancia de la tesis de Turing |
| topic_facet |
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 |
| description |
Fil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina. |
| format |
Artículo Artículo publishedVersion |
| author |
D’Andrea, Aldana |
| author_facet |
D’Andrea, Aldana |
| author_sort |
D’Andrea, Aldana |
| title |
Sobre la relevancia de la tesis de Turing |
| 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 |
| publisher |
Universidad Nacional de Quilmes |
| publishDate |
2017 |
| url |
http://ridaa.unq.edu.ar/handle/20.500.11807/2489 |
| work_keys_str_mv |
AT dandreaaldana sobrelarelevanciadelatesisdeturing AT dandreaaldana ontherelevanceofturingsthesis |
| _version_ |
1807953900827836416 |