Show simple item record

On the relevance of Turing’s thesis

dc.creatorD’Andrea, Aldanaes
dc.date.accessioned2020-09-30T13:05:54Zes
dc.date.available2020-09-30T13:05:54Zes
dc.date.issued2017-04-01es
dc.identifier.citationD’Andrea, A. (2017). Sobre la relevancia de la tesis de Turing. Metatheoria, 7(2), 31-38.es
dc.identifier.issn1853-2322 (impresa)es
dc.identifier.issn1853-2330 (en línea)es
dc.identifier.urihttp://ridaa.unq.edu.ar/handle/20.500.11807/2489es
dc.descriptionFil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina.es
dc.descriptionFil: D’Andrea, Aldana. Universidad Nacional de Córdoba; Argentina.es
dc.descriptionFil: D’Andrea, Aldana. Conicet; Argentina.es
dc.description.abstractEn 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.abstractIn 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.formatapplication/pdfes
dc.languagespaes
dc.publisherUniversidad Nacional de Quilmeses
dc.publisherUniversidad Nacional de Tres de Febreroes
dc.rightshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/es
dc.sourceMetatheoriaes
dc.subjectTesis de Church-Turinges
dc.subjectCálculo efectivoes
dc.subjectEntscheidungsproblemes
dc.subjectHilbert, David, 1862-1943es
dc.subjectTuring, Alan, 1912-1954es
dc.subjectChurch, Alonzo, 1903-1995es
dc.subjectChurch–Turing thesisen
dc.subjectEffective calculabilityen
dc.subjectTese de Church-Turingpt
dc.subjectCálculo efetivopt
dc.titleSobre la relevancia de la tesis de Turinges
dc.titleOn the relevance of Turing’s thesisen
dc.typeinfo:ar-repo/semantics/artículoes
unq.blm.ubicacionP-AR-MET1es
unq.articulos.paginicio31es
unq.articulos.pagfinal38es
unq.revista.numero2es
unq.revista.volumen7es
unq.versioninfo:eu-repo/semantics/publishedVersionen
unq.articulos.seccionArtículoses
unq.tipo.snrdinfo:eu-repo/semantics/articleen
unq.accesoinfo:eu-repo/semantics/openAccessen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record