{"id":18479,"date":"2018-03-09T09:07:01","date_gmt":"2018-03-09T09:07:01","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/sobre-el-teorema-de-ga%c2%b6del-una-construccion-artimetica-y-funcional-de-sistemas-con-proposiciones-formalmente-indecidibles-el-teorema-del-isomorfismo-aritmetico-funcional\/"},"modified":"2018-03-09T09:07:01","modified_gmt":"2018-03-09T09:07:01","slug":"sobre-el-teorema-de-ga%c2%b6del-una-construccion-artimetica-y-funcional-de-sistemas-con-proposiciones-formalmente-indecidibles-el-teorema-del-isomorfismo-aritmetico-funcional","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/logica\/sobre-el-teorema-de-ga%c2%b6del-una-construccion-artimetica-y-funcional-de-sistemas-con-proposiciones-formalmente-indecidibles-el-teorema-del-isomorfismo-aritmetico-funcional\/","title":{"rendered":"Sobre el teorema de g\u00c1\u00b6del: una construcci\u00f3n artim\u00e9tica y funcional de sistemas con proposiciones formalmente indecidibles. el teorema del isomorfismo aritm\u00e9tico-funcional"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  \u00e1lvarez Ca\u00f1as Ignacio Jos\u00e9 <\/strong><\/h2>\n<p>En este trabajo se implican las conclusiones de g\u00ed\u00b6del, mediante el estudio de la clase de los p-sistemas, que hemos definido a partir de los sistemas de producci\u00f3n de post, proponiendo, entonces, un tratamiento aritm\u00e9tico y, posteriormente, un tratamiento funcional de dichos sistemas. Las correspondencias biun\u00edvocas entre ambos dan lugar al concepto de isomorfismo entre ambas clases y, as\u00ed, obtenemos el teorema del isomorfismo aritm\u00e9tico-funcional. por otra parte, un conjunto de funciones generan, a partir de cortes en su dominio, los teoremas del sistema funcional.  a continuaci\u00f3n, estudiamos en dicha clase las operaciones algebraicas de uni\u00f3n, insercci\u00f3n, complementario y diferencia entre sistemas y ello nos permite estudiarla de una forma sistematizada. Abordamos la cuesti\u00f3n esencial del estudio con la consistencia e incompletitud de estos sistemas, planteados, ambas cuestiones, en ausencia de un operador de negaci\u00f3n. Ponemos de manifiesto, as\u00ed, los resultados que g\u00ed\u00b6dell obtuvo en su trabajo sobre sistemas formales.  finalmente, definimos la numeraci\u00f3n g\u00ed\u00b6del de todos los elementos relacionados con los sistemas y esto nos conduce a la construcci\u00f3n de los metasistemas y, a partir de ellos, los n\u00fameros transg\u00ed\u00b6delianos, que son, precisamente, los n\u00fameros g\u00ed\u00b6del de los metasistemas definidos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Sobre el teorema de g\u00c1\u00b6del: una construcci\u00f3n artim\u00e9tica y funcional de sistemas con proposiciones formalmente indecidibles. el teorema del isomorfismo aritm\u00e9tico-funcional<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Sobre el teorema de g\u00c1\u00b6del: una construcci\u00f3n artim\u00e9tica y funcional de sistemas con proposiciones formalmente indecidibles. el teorema del isomorfismo aritm\u00e9tico-funcional <\/li>\n<li><strong>Autor:<\/strong>\u00a0  \u00e1lvarez Ca\u00f1as Ignacio Jos\u00e9 <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 15\/07\/2002<\/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> Santos Lucas Jos\u00e9 Luis<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Morera fos Jos\u00e9 Luis <\/li>\n<li>josep Pla carrera (vocal)<\/li>\n<li>Jos\u00e9 Sanmart\u00edn esplugues (vocal)<\/li>\n<li>Mar\u00eda no Hormig\u00f3n bl\u00e1zquez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de \u00e1lvarez Ca\u00f1as Ignacio Jos\u00e9 En este trabajo se implican las conclusiones de g\u00ed\u00b6del, mediante el estudio de [&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":[3747,3748,10816,16820],"tags":[57302,12305,3755,50864,42086,57303],"class_list":["post-18479","post","type-post","status-publish","format-standard","hentry","category-logica","category-logica-deductiva","category-logica-matematica","category-politecnica-de-valencia","tag-alvarez-canas-ignacio-jose","tag-jose-sanmartin-esplugues","tag-josep-pla-carrera","tag-maria-no-hormigon-blazquez","tag-morera-fos-jose-luis","tag-santos-lucas-jose-luis"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/18479","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=18479"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/18479\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=18479"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=18479"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=18479"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}