Computar y compactar
- Autores
- Faas, Horacio
- Año de publicación
- 2003
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- Fil: Faas, Horacio. Universidad Nacional de Córdoba; Argentina.
El trabajo se refiere principalmente a los programas elaborados por Chaitin para computar con una máquina universal de Turing y a cómo puede mostrarse que el número omega de Chaitin (elaborado sobre la base de la probabilidad de la detención de un programa) es absolutamente incomputable. Se trataría de una entidad matemática definible pero no compactable (en el sentido de compresible), y que se puede comparar con un enunciado a la Godel, verdadero pero indemostrable.
Fil: Faas, Horacio. Universidad Nacional de Córdoba; Argentina. - Materia
-
Epistemología
Historia de la ciencia - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- Repositorio
- Institución
- Universidad Nacional de Córdoba
- OAI Identificador
- oai:rdu.unc.edu.ar:11086/3736
Ver los metadatos del registro completo
id |
RDUUNC_dca0e99d4a0965fc4b6da87a14a60e6c |
---|---|
oai_identifier_str |
oai:rdu.unc.edu.ar:11086/3736 |
network_acronym_str |
RDUUNC |
repository_id_str |
2572 |
network_name_str |
Repositorio Digital Universitario (UNC) |
spelling |
Computar y compactarFaas, HoracioEpistemologíaHistoria de la cienciaFil: Faas, Horacio. Universidad Nacional de Córdoba; Argentina.El trabajo se refiere principalmente a los programas elaborados por Chaitin para computar con una máquina universal de Turing y a cómo puede mostrarse que el número omega de Chaitin (elaborado sobre la base de la probabilidad de la detención de un programa) es absolutamente incomputable. Se trataría de una entidad matemática definible pero no compactable (en el sentido de compresible), y que se puede comparar con un enunciado a la Godel, verdadero pero indemostrable.Fil: Faas, Horacio. Universidad Nacional de Córdoba; Argentina.Universidad Nacional de Córdoba2003-08info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf950-33-0390-7http://hdl.handle.net/11086/3736spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:42:23Zoai:rdu.unc.edu.ar:11086/3736Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:42:23.385Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse |
dc.title.none.fl_str_mv |
Computar y compactar |
title |
Computar y compactar |
spellingShingle |
Computar y compactar Faas, Horacio Epistemología Historia de la ciencia |
title_short |
Computar y compactar |
title_full |
Computar y compactar |
title_fullStr |
Computar y compactar |
title_full_unstemmed |
Computar y compactar |
title_sort |
Computar y compactar |
dc.creator.none.fl_str_mv |
Faas, Horacio |
author |
Faas, Horacio |
author_facet |
Faas, Horacio |
author_role |
author |
dc.subject.none.fl_str_mv |
Epistemología Historia de la ciencia |
topic |
Epistemología Historia de la ciencia |
dc.description.none.fl_txt_mv |
Fil: Faas, Horacio. Universidad Nacional de Córdoba; Argentina. El trabajo se refiere principalmente a los programas elaborados por Chaitin para computar con una máquina universal de Turing y a cómo puede mostrarse que el número omega de Chaitin (elaborado sobre la base de la probabilidad de la detención de un programa) es absolutamente incomputable. Se trataría de una entidad matemática definible pero no compactable (en el sentido de compresible), y que se puede comparar con un enunciado a la Godel, verdadero pero indemostrable. Fil: Faas, Horacio. Universidad Nacional de Córdoba; Argentina. |
description |
Fil: Faas, Horacio. Universidad Nacional de Córdoba; Argentina. |
publishDate |
2003 |
dc.date.none.fl_str_mv |
2003-08 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
950-33-0390-7 http://hdl.handle.net/11086/3736 |
identifier_str_mv |
950-33-0390-7 |
url |
http://hdl.handle.net/11086/3736 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidad Nacional de Córdoba |
publisher.none.fl_str_mv |
Universidad Nacional de Córdoba |
dc.source.none.fl_str_mv |
reponame:Repositorio Digital Universitario (UNC) instname:Universidad Nacional de Córdoba instacron:UNC |
reponame_str |
Repositorio Digital Universitario (UNC) |
collection |
Repositorio Digital Universitario (UNC) |
instname_str |
Universidad Nacional de Córdoba |
instacron_str |
UNC |
institution |
UNC |
repository.name.fl_str_mv |
Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba |
repository.mail.fl_str_mv |
oca.unc@gmail.com |
_version_ |
1844618925818511360 |
score |
13.070432 |