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:
Descripción
Sumario: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.