Mostrar el registro sencillo del ítem

dc.contributor.authorBarchini, Graciela Elisaspa
dc.date.accessioned2020-10-27T00:20:48Z
dc.date.available2020-10-27T00:20:48Z
dc.date.issued2009-06-01
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.urihttp://hdl.handle.net/20.500.12749/8972
dc.description.abstractLa teoría de la computabilidad está actualmente fundamentada en el paradigma de la Máquinas de Turing, en las funciones recursivas y en la tesis de Church-Turing. El modelo de Turing captura la noción intuitiva de lo que es algorítmicamente computable en un sentido amplio. La interacción es un paradigma emergente que refleja el cambio en la tecnología (redes de agentes inteligentes, interfaces de usuario gráficas, sistemas distribuidos, etc.). La computación interactiva involucra la comunicación con el ambiente durante la computación. Según muchos autores la interacción se basa en modelos que difieren de los modelos algorítmicos tradicionales. Es así como, en las últimas décadas han surgido trabajos que cuestionan los pilares de la teoría de la computabilidad. La cuestión que crece es, si la noción de computación como se entiende todavía puede describirse adecuadamente por ellos. La finalidad de este artículo es presentar cuatro propuestas que se realizaron para abordar la crisis paradigmática por la que está pasando la teoría de la computabilidad, determinar la vigencia de la MT como modelo para cualquier tipo de computación y proporcionar argumentos que permitan establecer si la tesis de Church-Turing es aplicable a la computación interactiva.spa
dc.format.mimetypeapplication/pdfspa
dc.language.isospaspa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1134/1104
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1134
dc.rightsDerechos de autor 2009 Revista Colombiana de Computación
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.rights.urirpardo
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.sourceRevista Colombiana de Computación; Vol. 10 Núm. 1 (2009): Revista Colombiana de Computación; 7-25
dc.subjectMáquina de Turing
dc.subjectComputación Interactiva
dc.subjectAlgoritmo
dc.subjectComputabilidad
dc.subjectTesis de Church-Turing
dc.titleLas máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma?spa
dc.title.translatedTuring machines as a general model of computing. Towards a paradigm shift?eng
dc.type.driverinfo:eu-repo/semantics/article
dc.type.localArtículospa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.subject.keywordsTuring machineeng
dc.subject.keywordsInteractive Computingeng
dc.subject.keywordsAlgorithmeng
dc.subject.keywordsComputabilityeng
dc.subject.keywordsChurch-Turing thesiseng
dc.subject.keywordsTechnological innovationseng
dc.subject.keywordsComputer's scienceeng
dc.subject.keywordsTechnological developmenteng
dc.subject.keywordsSystems Engineereng
dc.subject.keywordsResearcheng
dc.subject.keywordsTechnology of the information and communicationeng
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNABspa
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersion
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.relation.referencesS. Anand Bhupinder. “Can Turing machines capture everything we can compute?”. Disponible en URL<http://arxiv.org/ftp/ math/papers/0304/0304379.pdf >.[Consultada en mayo de 2007].
dc.relation.referencesG. Barchini. “Informática. Una disciplina bio-psico-socio-tecnocultural”. Revista Ingeniería Informática. La Revista Electrónica del DIICC. ISSN : 0717 – 4195. Edición Número 12. Abril 2007. Disponible en URL: <http:// www.inf.udec.cl/revista>.
dc.relation.referencesA. Blass and Y. Gurevich. “Algorithms: A Quest for Absolute Definitions," Bull. Euro. Assoc. for Theor. Computer Science Number 81, October 2003, pages 195{225. Disponible en URL< http://research.microsoft.com/~ gurevich/Opera/164.pdf>. [Consultada en marzo de 2007].
dc.relation.referencesB. J. Copeland and R. Sylvan. “Beyond the Universal Turing Machine”. Australasian Journal of Philosophy, 77:46-66, 1999.
dc.relation.referencesE. Eberbach; D. Goldin and P. Wegner. “Turing's Ideas and Models of Computation”. Disponible en URL: <http://www. cse. uconn.edu/%7Edqg/papers /turing04 .pdf>.[Consultada en septiembre de 2007].
dc.relation.referencesD. Goldin; S. Smolka and P. Wegner. “Interactive Computing: A New Paradigm”. Springer Verlag, Heidelberg, 2006.
dc.relation.referencesD. Goldin. “ Interaction: Conjectures, Results, Myths”. Disponible en URL:<http://www.cse.uconn.edu/%7Edqg/ papers/ #interaction >. [Consultada en marzo de 2007].
dc.relation.referencesD. Goldin and P. Wegner. “The Church-Turing Thesis: Breaking the Myth”. Disponible en URL: <http://www.cse.uconn.edu/%7 Edqg/papers/ cie05.pdf>. [Consultada en marzo de 2007].
dc.relation.referencesD. Goldin and P. Wegner. “Principles of Interactive Computation”. Disponible en URL< http://www.springer.com/ cda/content/document.pdf >. [Consultada en septiembre de 2007].
dc.relation.referencesY. Gurevich. “Sequential Abstract-State Machines-Capture Sequential Algorithms”. ACM Transactions on Computational Logic, Vol. 1, No. 1, July 2000, Pages 77–111.
dc.relation.referencesY. Gurevich. “Interactive Algorithms 2005 with Added Appendix” Proceedings of the 2005 conference on Mathematical Foundations of Computer Science, Springer Lecture. Disponible en: http://research.microsoft.com/~gurevich/Opera/174.pdf>. [Consultada en marzo de 2007]
dc.relation.referencesC. Gutiérrez. “Epistemología de la Informática”. Editorial UNED. Costa Rica, 1993.
dc.relation.referencesJ. van Leeuwen and J. Wiedermann. “The Turing Machine Paradigm in Contemporary Computing”. Disponible en URL< http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000- 33.pdf>. [Consultada en septiembre de 2007].
dc.relation.referencesR. Milner. “Elements of interaction: 1991 Turing award lecture”. Commun. ACM 36, 1 (Jan. 1993), 78–89.
dc.relation.referencesR. Milner. “Turing, Computing and Communication”. Octubre 1997. Disponible en URL< http://www.fairdene.com/picalculus/ milner-infomatics.pdf >. [Consultada en marzo de 2007].
dc.relation.referencesT. Ord. “Hypercomputation: computing more than the Turing machine”. Disponible en URL< http://arxiv.org/ftp/math/papers/ 0209/0209332.pdf>. [Consultada en septiembre de 2007].
dc.relation.referencesT. Ord. “The many forms of hypercomputation”. Applied Mathematics and Computation 178 (2006) 143–153. Disponible en URL<http://www. amirror clear. net/academic/papers/manyforms.pdf >. [Consultada en mayo de 2007].
dc.relation.referencesM. Prasse and P. Rittgen. “Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability”. Disponible en URL< http://www. adm .hb.se/~pri/cj98.pdf>. [Consultada en septiembre de 2007].
dc.relation.referencesA. M. Turing. “On computable numbers, with an application to the Entscheidungsproblem”. Proceedings of London Mathematical Society, series 2, vol. 42 (1936–1937), 230–265; correction, ibidem, vol. 43, 544–546. Reprinted in [13, 155–222]. Disponible en URL< http://www.abelard.org/turpap2/tp2- ie.asp.>. [Consultada en septiembre de 2007].
dc.relation.referencesA. M. Turing. “Computing machinery and intelligence”. Mind, 59, 433-460. Disponible en URL<http://www.loebner.net/ Prizef/Turing Article .html>. [Consultada en octubre de 2007].
dc.relation.referencesA. M. Turing. “Systems of Logic Based on the Ordinals”. Proceedings of the London Mathematical Society, 45:161-228, 1939.
dc.relation.referencesP. Wegner. “Why Interaction is More Powerful than Algorithms", Communications of ACM, May 1997, 81-91. Disponible en URL< http://portal.acm.org/citation.cfm?id =253801&coll= portal&dl=ACM>. [Consultada en septiembre de 2007].
dc.relation.referencesP. Wegner and D. Goldin. “Computation Beyond Turing Machines”. Communications of the ACM, 46 (4) 2003.
dc.relation.referencesP. Wegner and D. Goldin. “Interaction, Computability, and Church's Thesis”. Disponible en URL< http://www.cs. brown.edu/people/pw/papers/bcj1.pdf>. [Consultada en septiembre de 2007].
dc.subject.lembInnovaciones tecnológicasspa
dc.subject.lembCiencias de la computaciónspa
dc.subject.lembDesarrollo tecnológicospa
dc.subject.lembIngeniero de sistemasspa
dc.subject.lembInvestigaciónspa
dc.subject.lembTecnologías de la información y la comunicaciónspa
dc.identifier.repourlrepourl:https://repository.unab.edu.co
dc.description.abstractenglishThe theory of computability is currently based on the paradigm of Turing machines, recursive functions and the Church-Turing thesis. The Turing's model captures the intuitive notion of what is algorithmically computable in a broad sense. Interaction is an emerging paradigm that reflects the change in technology (networks of intelligent agents, user interfaces graphics, distributed systems, etc.). Interactive computing involves communication with the environment during computation. According to many authors the interaction is based on models that differ from algorithmic models traditional. This is how, in the last decades, works have emerged that question the pillars of computability theory. The question that grows is, if the notion of computation as understood can still be adequately described for them. The purpose of this article is to present four proposals that are carried out to address the paradigmatic crisis that the theory of computability, determine the validity of the MT as a model for any type of computation and provide arguments to establish whether the thesis of Church-Turing is applicable to interactive computing.eng
dc.subject.proposalMáquina de turingspa
dc.subject.proposalComputación interactivaspa
dc.subject.proposalAlgoritmospa
dc.subject.proposalComputabilidadspa
dc.subject.proposalTesis de church-turingspa
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle
dc.rights.creativecommonsAtribución-NoComercial-SinDerivadas 2.5 Colombia*


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Atribución-NoComercial-SinDerivadas 2.5 Colombia
Excepto si se señala otra cosa, la licencia del ítem se describe como Atribución-NoComercial-SinDerivadas 2.5 Colombia