Cover Image

Sobre la relevancia de la tesis de Turing

Fil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina.

Saved in:
Main Author: D’Andrea, Aldana
Format: info:eu-repo/semantics/article
Language:spa
Published: Universidad Nacional de Quilmes 2017
Subjects:
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
Online Access:http://ridaa.unq.edu.ar/handle/20.500.11807/2489
Tags: Add Tag
No Tags, Be the first to tag this record!
id ir-20.500.11807-2489
recordtype dspace
spelling ir-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 RIDAA UNQ
collection DSpace
language spa
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
description Fil: D’Andrea, Aldana. Universidad Nacional de Río Cuarto; Argentina.
format info:eu-repo/semantics/article
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
_version_ 1796766243029516288
score 10.277026

Similar Items