Mostrar el registro sencillo del ítem
Sobre la relevancia de la tesis de Turing
On the relevance of Turing’s thesis
dc.creator | D’Andrea, Aldana | es |
dc.date.accessioned | 2020-09-30T13:05:54Z | es |
dc.date.available | 2020-09-30T13:05:54Z | es |
dc.date.issued | 2017-04-01 | es |
dc.identifier.citation | D’Andrea, A. (2017). Sobre la relevancia de la tesis de Turing. Metatheoria, 7(2), 31-38. | es |
dc.identifier.issn | 1853-2322 (impresa) | es |
dc.identifier.issn | 1853-2330 (en línea) | es |
dc.identifier.uri | http://ridaa.unq.edu.ar/handle/20.500.11807/2489 | es |
dc.description | Fil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina. | es |
dc.description | Fil: D’Andrea, Aldana. Universidad Nacional de Córdoba; Argentina. | es |
dc.description | Fil: D’Andrea, Aldana. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. | es |
dc.description.abstract | 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. | |
dc.description.abstract | 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. | |
dc.format | application/pdf | es |
dc.language | spa | es |
dc.publisher | Universidad Nacional de Quilmes | es |
dc.publisher | Universidad Nacional de Tres de Febrero | es |
dc.rights | https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ | es |
dc.source | Metatheoria | es |
dc.subject | Tesis de Church-Turing | es |
dc.subject | Cálculo efectivo | es |
dc.subject | Entscheidungsproblem | es |
dc.subject | Hilbert, David, 1862-1943 | es |
dc.subject | Turing, Alan, 1912-1954 | es |
dc.subject | Church, Alonzo, 1903-1995 | es |
dc.subject | Church–Turing thesis | en |
dc.subject | Effective calculability | en |
dc.subject | Tese de Church-Turing | pt |
dc.subject | Cálculo efetivo | pt |
dc.title | Sobre la relevancia de la tesis de Turing | es |
dc.title | On the relevance of Turing’s thesis | en |
dc.type | info:ar-repo/semantics/artículo | es |
unq.blm.ubicacion | P-AR-MET1 | es |
unq.articulos.paginicio | 31 | es |
unq.articulos.pagfinal | 38 | es |
unq.revista.numero | 2 | es |
unq.revista.volumen | 7 | es |
unq.version | info:eu-repo/semantics/publishedVersion | en |
unq.articulos.seccion | Artículos | es |
unq.tipo.snrd | info:eu-repo/semantics/article | en |
unq.acceso | info:eu-repo/semantics/openAccess | en |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Vol. 07, no. 02
Publicada en abril de 2017.