{"id":13965,"date":"2018-03-09T09:00:28","date_gmt":"2018-03-09T09:00:28","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/tecnicas-de-demostracion-de-indecidibilidad-e-inseparabilidad-en-teorias-formales\/"},"modified":"2018-03-09T09:00:28","modified_gmt":"2018-03-09T09:00:28","slug":"tecnicas-de-demostracion-de-indecidibilidad-e-inseparabilidad-en-teorias-formales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/logica\/tecnicas-de-demostracion-de-indecidibilidad-e-inseparabilidad-en-teorias-formales\/","title":{"rendered":"Tecnicas de demostracion de indecidibilidad e inseparabilidad en teorias formales"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Enrique Gallego Casta\u00f1o <\/strong><\/h2>\n<p>El objetivo de esta memoria es analizar las tecnicas para la demostracion de la indecidibilidad de las teorias que aparecen habitualmente en matematicas: teoria de grupos, teoria de anillos, teoria de grafos, etc.  los teoremas fundamentales de indecidibilidad se obtuvieron en la decada de 1930 por church, turingg, godel y rosser. Posteriormente se obtuvieron nuevos resultados de indecidibilidad utilizando la idea de tarski de interpretar unas teorias en otras. Revisamos los conceptos fundamentales y presentamos formas refinadas de los principales resultados. Pero el metodo de tarski no es adecuado para teorias con modelos finitos.  una alternativa es considerar la cuestion utilizando la nocion de inseparabilidad, mas general que la de no recursividad.  el punto de partida es la inseparabilidad finita del calculo de predicados de primer orden. Simplificamos la demostracion de buchi al utilizar maquinas de registros y un teorema de minsky.  damos una forma fuerte de un teorema, utilizado por rabin y ershov, que nos permite demostrar la inseparabilidad finita de diversas teorias.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Tecnicas de demostracion de indecidibilidad e inseparabilidad en teorias formales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Tecnicas de demostracion de indecidibilidad e inseparabilidad en teorias formales <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Enrique Gallego Casta\u00f1o <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 23\/11\/2001<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li> Fernandez Prida De Carlos Jose<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: ignacio Sols lucia <\/li>\n<li>Emilio Diez esteve (vocal)<\/li>\n<li>Javierde Lorenzo mart\u00ednez (vocal)<\/li>\n<li>enrique Casanova ruiz-fornells (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Enrique Gallego Casta\u00f1o El objetivo de esta memoria es analizar las tecnicas para la demostracion de la [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[45130,45131,3747,3748,13456],"tags":[45133,45134,45132,23740,9618,27902],"class_list":["post-13965","post","type-post","status-publish","format-standard","hentry","category-funciones-recursivas","category-fundamentos-de-matematicas","category-logica","category-logica-deductiva","category-logica-formal","tag-emilio-diez-esteve","tag-enrique-casanova-ruiz-fornells","tag-enrique-gallego-castano","tag-fernandez-prida-de-carlos-jose","tag-ignacio-sols-lucia","tag-javierde-lorenzo-Martinez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/13965","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=13965"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/13965\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=13965"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=13965"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=13965"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}