{"id":69,"date":"2009-09-23T11:00:29","date_gmt":"2009-09-23T10:00:29","guid":{"rendered":"http:\/\/www.bxsoft.com\/blog\/?p=69"},"modified":"2009-09-23T11:00:29","modified_gmt":"2009-09-23T10:00:29","slug":"entscheidungsproblem","status":"publish","type":"post","link":"https:\/\/bxsoft.com\/?p=69","title":{"rendered":"Entscheidungsproblem"},"content":{"rendered":"<p>Ha llovido desde que geniales maestros como Church y Turing demostraron que el problema de la parada es indecidible. Pero decir esto sabe a poco. La deformaci\u00f3n profesional nos lleva a los inform\u00e1ticos (s\u00e9 que se lleva m\u00e1s el t\u00e9rmino \u00abdevelopers\u00bb pero es que me da grima la palabreja) a intentar tomar decisiones mediante algoritmos. Lo bueno de ser humano es que podemos tomarnos la libertad de saltarnos a Peano (no la peana) e inferir una nueva dimensi\u00f3n (gracias Egan), si hace falta varias de ellas para poder alterar la aritm\u00e9tica lambda y solucionar nuestro conflicto.<br \/>\nOh ! hab\u00eda olvidado mencionar el problema en cuesti\u00f3n. Lo siento, paso a formularlo (perdonad la libertad) en lenguaje no formal de orden el que quer\u00e1is:<br \/>\n<small><span style=\"font-style: italic;\">Dado un programa S y un conjunto de datos L, queremos saber si existe un programa G que teniendo como datos S y L compute si es Software Libre (se pare) o no.<\/span><\/small><br \/>\nComo ya sabemos en el mundo de Peano PW (Pasta World), el problema es irresoluble, as\u00ed que haciendo la pirula de inventarme un nuevo mundo JW (Jauja World) resulta que s\u00ed, que es posible (la demostraci\u00f3n la dejo para otro d\u00eda).<br \/>\nPero &#8230; hay una pega. Para operar en la dimensi\u00f3n extra de J hay que prescindir de la polis P (gracias Egan, Again \ud83d\ude42 ).<br \/>\nYa os contar\u00e9 como me va en JW &#8230;<\/p>\n<div><img decoding=\"async\" src=\"http:\/\/img.zemanta.com\/pixy.gif?x-id=dc3dbe34-7a55-8227-8369-a4b752680caa\" alt=\"\" \/><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Ha llovido desde que geniales maestros como Church y Turing demostraron que el problema de la parada es indecidible. Pero decir esto sabe a poco. La deformaci\u00f3n profesional nos lleva a los inform\u00e1ticos (s\u00e9 que se lleva m\u00e1s el t\u00e9rmino \u00abdevelopers\u00bb pero es que me da grima la palabreja) a intentar tomar decisiones mediante algoritmos.&hellip; <br \/> <a class=\"button small blue\" href=\"https:\/\/bxsoft.com\/?p=69\">Leer m\u00e1s<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-69","post","type-post","status-publish","format-standard","hentry","category-general"],"_links":{"self":[{"href":"https:\/\/bxsoft.com\/index.php?rest_route=\/wp\/v2\/posts\/69","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/bxsoft.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/bxsoft.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/bxsoft.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/bxsoft.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=69"}],"version-history":[{"count":1,"href":"https:\/\/bxsoft.com\/index.php?rest_route=\/wp\/v2\/posts\/69\/revisions"}],"predecessor-version":[{"id":70,"href":"https:\/\/bxsoft.com\/index.php?rest_route=\/wp\/v2\/posts\/69\/revisions\/70"}],"wp:attachment":[{"href":"https:\/\/bxsoft.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=69"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/bxsoft.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=69"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/bxsoft.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=69"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}