Sobre la naturaleza de la tesis de church

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...

Full description

Autores:
Ramos Arenas, Jaime
Tipo de recurso:
Article of journal
Fecha de publicación:
1993
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/40304
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/40304
http://bdigital.unal.edu.co/30401/
Palabra clave:
Filosofía
matemáticas
Tesis de Church
función
definición de calculabilidad
ciencia cognitiva
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_70f0d82df70fe2ebeac3436b3b402637
oai_identifier_str oai:repositorio.unal.edu.co:unal/40304
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Ramos Arenas, Jaime07669ae1-5b90-4f76-b0a9-be7e2d80b90c3002019-06-28T09:31:23Z2019-06-28T09:31:23Z1993https://repositorio.unal.edu.co/handle/unal/40304http://bdigital.unal.edu.co/30401/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.application/pdfspaUniversidad Nacional de Colombiahttp://revistas.unal.edu.co/index.php/idval/article/view/29213Universidad Nacional de Colombia Revistas electrónicas UN Ideas y ValoresIdeas y ValoresIdeas 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: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: .Sobre la naturaleza de la tesis de churchArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTFilosofíamatemáticasTesis de Churchfuncióndefinición de calculabilidadciencia cognitivaORIGINAL29213-104943-1-PB.pdfapplication/pdf5800239https://repositorio.unal.edu.co/bitstream/unal/40304/1/29213-104943-1-PB.pdf929bd017b26a43d6a50fe7092a0d1b86MD51THUMBNAIL29213-104943-1-PB.pdf.jpg29213-104943-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg8651https://repositorio.unal.edu.co/bitstream/unal/40304/2/29213-104943-1-PB.pdf.jpg8341a523a8e06cb0dff061c5bd3d8fc7MD52unal/40304oai:repositorio.unal.edu.co:unal/403042024-01-24 23:07:28.29Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Sobre la naturaleza de la tesis de church
title Sobre la naturaleza de la tesis de church
spellingShingle Sobre la naturaleza de la tesis de church
Filosofía
matemáticas
Tesis de Church
función
definición de calculabilidad
ciencia cognitiva
title_short Sobre la naturaleza de la tesis de church
title_full Sobre la naturaleza de la tesis de church
title_fullStr Sobre la naturaleza de la tesis de church
title_full_unstemmed Sobre la naturaleza de la tesis de church
title_sort Sobre la naturaleza de la tesis de church
dc.creator.fl_str_mv Ramos Arenas, Jaime
dc.contributor.author.spa.fl_str_mv Ramos Arenas, Jaime
dc.subject.proposal.spa.fl_str_mv Filosofía
matemáticas
Tesis de Church
función
definición de calculabilidad
ciencia cognitiva
topic Filosofía
matemáticas
Tesis de Church
función
definición de calculabilidad
ciencia cognitiva
description 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.
publishDate 1993
dc.date.issued.spa.fl_str_mv 1993
dc.date.accessioned.spa.fl_str_mv 2019-06-28T09:31:23Z
dc.date.available.spa.fl_str_mv 2019-06-28T09:31:23Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/40304
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/30401/
url https://repositorio.unal.edu.co/handle/unal/40304
http://bdigital.unal.edu.co/30401/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/idval/article/view/29213
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Ideas y Valores
Ideas y Valores
dc.relation.ispartofseries.none.fl_str_mv 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.relation.references.spa.fl_str_mv 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.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacional de Colombia
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/40304/1/29213-104943-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/40304/2/29213-104943-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 929bd017b26a43d6a50fe7092a0d1b86
8341a523a8e06cb0dff061c5bd3d8fc7
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089339106230272

Publicaciones similares