dc.contributor.author | Faas, Horacio | |
dc.date.accessioned | 2016-09-05T15:55:55Z | |
dc.date.available | 2016-09-05T15:55:55Z | |
dc.date.issued | 2003-08 | |
dc.identifier.isbn | 950-33-0390-7 | |
dc.identifier.uri | http://hdl.handle.net/11086/3736 | |
dc.description.abstract | 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. | es |
dc.language.iso | spa | es |
dc.publisher | Universidad Nacional de Córdoba | es |
dc.rights | Atribución-NoComercial-SinDerivadas 2.5 Argentina | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ | * |
dc.subject | Epistemología | es |
dc.subject | Historia de la ciencia | es |
dc.title | Computar y compactar | es |
dc.type | conferenceObject | es |
dc.description.fil | Fil: Faas, Horacio. Universidad Nacional de Córdoba; Argentina. | es |
dc.conference.city | Córdoba | es |
dc.conference.country | Argentina | es |
dc.conference.event | Jornada Epistemología e Historia de la Ciencia | es |
dc.conference.eventdate | 2003 | |