Mostrar el registro sencillo del documento
Sobre la naturaleza de la tesis de church
dc.rights.license | Atribución-NoComercial 4.0 Internacional |
dc.contributor.author | Ramos Arenas, Jaime |
dc.date.accessioned | 2019-06-28T09:31:23Z |
dc.date.available | 2019-06-28T09:31:23Z |
dc.date.issued | 1993 |
dc.identifier.uri | https://repositorio.unal.edu.co/handle/unal/40304 |
dc.description.abstract | La tesis de Church, según la cual una función es efectivamente computable si y solo si es recursiva, ha recibido considerable atención por parte de filósofos y matemáticos. En particular es incierto cual es exactamente la naturaleza de la tesis: ¿se trata efectivamente de una conjetura susceptible de ser eventualmente falseada o es una especie de definición de calculabilidad? Deberíamos interpretar la tesis en términos realistas o puramente convencionalistas? Yo sugiero que la interpretación convencionalista trivializa la tesis de Church y que es mucho más interesante entenderla como una verdadera conjetura, según lacual una función solo es computable, en sentido absoluto, si es recursiva. Por otra parte sugiero que la tesis tiene cierta importancia para la ciencia cognitiva, pero mucho menor de lo que algunos han supuesto. |
dc.format.mimetype | application/pdf |
dc.language.iso | spa |
dc.publisher | Universidad Nacional de Colombia |
dc.relation | http://revistas.unal.edu.co/index.php/idval/article/view/29213 |
dc.relation.ispartof | Universidad Nacional de Colombia Revistas electrónicas UN Ideas y Valores |
dc.relation.ispartof | Ideas y Valores |
dc.relation.ispartofseries | Ideas y Valores; núm. 92-93 (1993): IV Coloquio Internacional de Filosofía e Historia de las Matemáticas: Santa Fe de Bogotá, Agosto de 1993; 157-167 Ideas y valores; núm. 92-93 (1993): IV Coloquio Internacional de Filosofía e Historia de las Matemáticas: |
dc.rights | Derechos reservados - Universidad Nacional de Colombia |
dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ |
dc.title | Sobre la naturaleza de la tesis de church |
dc.type | Artículo de revista |
dc.type.driver | info:eu-repo/semantics/article |
dc.type.version | info:eu-repo/semantics/publishedVersion |
dc.identifier.eprints | http://bdigital.unal.edu.co/30401/ |
dc.relation.references | Ramos Arenas, Jaime (1993) Sobre la naturaleza de la tesis de church. Ideas y Valores; núm. 92-93 (1993): IV Coloquio Internacional de Filosofía e Historia de las Matemáticas: Santa Fe de Bogotá, Agosto de 1993; 157-167 Ideas y valores; núm. 92-93 (1993): IV Coloquio Internacional de Filosofía e Historia de las Matemáticas: . |
dc.rights.accessrights | info:eu-repo/semantics/openAccess |
dc.subject.proposal | Filosofía |
dc.subject.proposal | matemáticas |
dc.subject.proposal | Tesis de Church |
dc.subject.proposal | función |
dc.subject.proposal | definición de calculabilidad |
dc.subject.proposal | ciencia cognitiva |
dc.type.coar | http://purl.org/coar/resource_type/c_6501 |
dc.type.coarversion | http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.content | Text |
dc.type.redcol | http://purl.org/redcol/resource_type/ART |
oaire.accessrights | http://purl.org/coar/access_right/c_abf2 |
Archivos en el documento
Este documento aparece en la(s) siguiente(s) colección(ones)
-
Ideas y Valores [1456]
![Atribución-NoComercial 4.0 Internacional](/themes/Mirage2//images/creativecommons/cc-generic.png)