Computar y compactar

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 pro• grama) es absolutamente incomputable. Se tratar...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Faas, Horacio
Formato: conferenceObject
Lenguaje:Español
Publicado: Víctor Rodríguez 2016
Materias:
Acceso en línea:http://hdl.handle.net/11086/3736
Aporte de:
id I10-R14111086-3736
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Epistemología
Historia de la ciencia
spellingShingle Epistemología
Historia de la ciencia
Faas, Horacio
Computar y compactar
topic_facet Epistemología
Historia de la ciencia
description 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 pro• grama) 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.
format conferenceObject
author Faas, Horacio
author_facet Faas, Horacio
author_sort Faas, Horacio
title Computar y compactar
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
publisher Víctor Rodríguez
publishDate 2016
url http://hdl.handle.net/11086/3736
work_keys_str_mv AT faashoracio computarycompactar
bdutipo_str Repositorios
_version_ 1764820396133056518