Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz

Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan Mathison Turing-ek jadanik garai hartan frogatu zuen, ahalik eta potentzia handienekoa imajinatuta ere, inolako ordenadorek ebatzi ezingo zituen zenbait gai edo arazo bazeudela. Balizko algoritmorik ez duten problema horiek, konputaezinak deitzen ditugunak, ez dira salbuespenak eta adibide ugari aurki dezakegu. Programen portaeraren inguruan planteatzen diren problemen artean, asko konputaezinak dira. Familia horretako kide ezagunena, zalantzarik gabe, geratze problema da: sarrerako datu zehatz batzuk hartzerakoan, programa bat begizta infinituan geratuko ote den era orokorrean erabakitzeko algoritmorik ez dago. Problema baten konputaezintasuna frogatzeko, hau ebatziko duen algoritmo zehatz bat existitzen ez dela ziurtatuko duen argumentu logikoa behar dugu, edo beste era batera esanda, existitzen diren algoritmoak problema hori ebazteko gai izango ez direla egiaztatuko duen argumentua. Izaera unibertsaleko argumentu hori ezartzea ez da batere erraza izaten, eta normalean, absurduraino eramandako frogapen batekin erlazionatuta egon ohi da. Helburu hori lortzeko zenbait teknika daude. Diagonalizazioaren teknika horien artean oinarrizkoena da, eta nahiko ezaguna, ez baita Informatika Teorikoaren tresna espezifikoa. Dokumentu honen helburua ez da teknika bera azaldu edo deskribatzea, ezaguntzat hartzen baita, zailtasun maila desberdineko hainbat adibideren bitartez argitzea baizik.

Técnicas básicas de computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Frente a las disciplinas y técnicas que día a día amplían el campo de aplicabilidad práctica de los computadores, esta teoría establece una serie de barreras insalvables por ninguna tecnología digital de procesamiento de la información. Los métodos propios de la Teoría de la Computabilidad pueden ser extraordinariamente complejos, sin embargo, existe un núcleo de resultados fundamentales que son abordables mediante técnicas más asequibles, y que tienen la virtud de reflejar razonablemente el concepto central de indecidibilidad computacional. Este informe incluye una descripción de los conceptos y técnicas que configuran ese núcleo básico de la Teoría. Su propósito es dar cuenta de la primera batería de resultados relacionados con la incomputabilidad de algunos problemas conocidos y relevantes en Informática. Los resultados se presentan utilizando como estándar de programación los programas-while, incluyéndose una explicación detallada y sistemática de la técnica de Diagonalización, además de resultados tan importantes como la tesis de Church-Turing, la función universal o el problema de parada.

El método de reducción en Teoría de la Computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Estos resultados proporcionan importantes herramientas que se utilizan para demostrar tanto la computabilidad como la incomputabilidad de muchas funciones relevantes. Los primeros problemas incomputables que se encontraron lo fueron allá por la década de los años 30. El problema de parada es el primer y más conocido ejemplo de problema no resoluble mediante técnicas algorítmicas: ningún ordenador, por muy potente que sea, puede anticipar el comportamiento de los programas en ejecución, y decidir de antemano si terminarán o no. Este problema nos proporciona un soporte intuitivo para anticipar la incomputabilidad de otros problemas relacionados y un procedimiento para resolverlos: el método de diagonalización. Sin embargo para determinados problemas también incomputables hay que recurrir a otros métodos. Este texto incluye una descripción de otra técnica básica de Teoría de la Computabilidad: la Reducción. La base del método estriba en demostrar que ciertos pares de problemas están fuertemente relacionados de modo que si el segundo tiene solución algorítmica entonces el primero debe tenerla necesariamente también. Esta relación se establece por medio de funciones transformadoras computables, que permiten convertir de manera automática las instancias positivas del primer problema en instancias positivas del segundo. Esta técnica se utiliza muy a menudo porque resulta comparativamente más sencilla que la diagonalización, ya que en general requiere menos esfuerzo para demostrar la incomputabilidad de un mismo problema.

La propiedad industrial y el componente intangible de la biodiversidad

El conocimiento y la tecnología constituyen el objeto jurídico de la propiedad industrial, concepto que la disciplina de la propiedad intelectual del derecho ha construido con el fin de regular el circuito económico en que la ciencia y la técnica se transforman por sí mismos en objetos sobre los que versan las relaciones sociojurídicas de propiedad. ¿Pero qué sucede cuando hablamos del conocimiento y las técnicas que han sido generadas por las culturas como las amazónicas en donde las definiciones de propiedad, comercio y tecnología son relativamente nuevas y se hallan imbricadas de nociones distintas del mundo?, más aún ¿Es posible convertir tales conocimientos y prácticas en objetos jurídicos de la propiedad industrial? En este estudio se intenta contestar estas preguntas relacionando el objeto jurídico de la propiedad industrial y los componentes intangibles de la biodiversidad.

La reforma constitucional peruana: de la comunidad al pueblo indígena

La propuesta de reforma constitucional que la Comisión Nacional de Pueblos Andinos y Amazónicos, ha presentado al Congreso de Perú el 13 de marzo de 2002, quiebra la tradición comunera y agrarista para acoderar en un nuevo sujeto de derechos: el Pueblo Indígena. Simultáneamente, visibiliza otro grupo hasta ahora sin derechos colectivos: los afroperuanos.

TLC: Amazonía, pueblos indígenas y biodiversidad (Tema Central)

Este artículo hace un análisis sobre los problemas y desafíos que la firma de tratados de libre comercio plantea a los pueblos indígenas, específicamente a los pueblos amazónicos. Tres ámbitos de análisis son utilizados por el autor para presentar la temática: la disputa por el control de la biodiversidad, los derechos de los pueblos indígenas y la construcción de una agenda de debate frente a la actual coyuntura. Ortiz plantea que si los tratados de libre comercio son parte de la política hegemónica de Estados Unidos, basada en el establecimiento de un orden global y en el control de las fuentes de energía del planeta, la cuenca amazónica se ubica como unas de las áreas de interés para los capitales multinacionales.

Análisis de las relaciones entre oralidad y escritura en textos producidos por maestros y alumnos de la escuela “Cacique Jumandy” del pueblo kichwa Rukullakta, provincia del Napo: estado actual y proyecciones

El empleo de las lenguas indígenas y el español en las aulas escolares es un desafío que no ha podido ser resuelto en los años que tiene de funcionamiento la Educación Intercultural Bilingüe en el Ecuador. Las razones para que esto sea así no se encuentran solamente en el ámbito educativo y en sus enfoques teóricos y metodológicos, sino también en los sentidos profundos de las relaciones que se dan entre la oralidad de las lenguas ancestrales y la escritura como un fenómeno propio del español. Partiendo de estas premisas se decidió tomar muestras del habla y la escritura de un grupo de maestros y alumnos de una escuela bilingüe de la provincia del Napo, y se las analizó a la luz de enfoques teóricos de análisis del discurso, pensando en que la explicación a lo que sucede visiblemente en el ámbito de la Educación Intercultural Bilingüe está atravesado por las relaciones entre oralidad y escritura. La característica de oralidad de las lenguas indígenas las determina para sus usos y funciones y las pone en contradicción con la otra vertiente idiomática de la sociedad ecuatoriana, que es el español. El análisis que se presenta en este trabajo nos da una panorámica de ciertos rasgos y características de un dialecto kichwa, así como de los de una variedad de español, lo que se ponen en relación con el entramado social en el que se desarrolla la vida cotidiana de los hablantes escogidos para la investigación. El resultado es una aproximación a lo que podría ser una línea de análisis que pretende contribuir a explicar las dificultades que tienen los docentes para impartir sus clases en kichwa (y también en español), al provenir de una matriz civilizatoria en la que no existieron ni la escritura ni la educación escolarizada. Se deja planteada de esta manera la problemática de la adaptación positiva de las lenguas y culturas ancestrales al sistema educativo del país, dentro de un marco de respeto a sus características propias y a su derecho a existir como parte de los orígenes de todos los ecuatorianos.

La iniciativa Yasuní ITT como materialización de los derechos de la naturaleza

La sociedad civil a nivel nacional e internacional ha empezado a reclamar mayores espacios de participación, y como no, de decisión respecto a los paradigmas de desarrollo que alteran sus condiciones ambientales de existencia, en un contexto en el que el proceso de destrucción de la naturaleza se ha profundizado y aparece como irreversible, lo que amenaza a la humanidad. En ese orden de ideas, el Estado ecuatoriano concordante con el despertar de la conciencia ecológica a nivel mundial, empezó a desarrollar propuestas innovadoras para proteger el ambiente, y a la vez garantizar la existencia de recursos naturales para las futuras generaciones. Así, en el marco de una nueva política ambienta nacional, las autoridades ecuatorianas dieron a conocer globalmente la Iniciativa Yasuní–ITT (Ishpingo, Tiputini, Tambococha) como respuesta práctica a la actual crisis ecológica planetaria, la misma que despertó el interés de la comunidad internacional y el inicio del debate respecto a los impactos que dicha propuesta generaría en el sistema económico al cuestionar el clásico sistema extractivista de los países en vías de desarrollo.

El componente intangible asociado a la biodiversidad en las sociedades indígenas amazónicas y el objeto jurídico de la propiedad industrial en el derecho moderno

La presente tesis trata sobre los conocimientos y técnicas tradicionales cura ti vas de los pueblos indígenas amazónicos, asociados a la biodiversidad y la factibilidad de que se constituyan en objeto jurídico de la propiedad industrial en el régimen de las invenciones. Dicho régimen tiene como objeto jurídico el hallazgo inventivo aplicable industrialmente, novedoso y no evidente. Los conocimientos y técnicas tradicionales conforman un objeto jurídico, el denominado componente intangible, en tanto que la biodiversidad, a la que se asocian, forma un distinto objeto jurídico, sin embargo las características de ambos imposibilitan el que puedan regularse en el ámbito de la propiedad industrial inventiva. Los componentes intangibles como las prácticas cura ti vas no pueden enmarcarse dentro del régimen inventivo industrial por ser un conjunto de constataciones de hechos que se dan en la naturaleza circundante y que es utilizado por medio de técnicas determinadas por la cosmogonía de cada grupo étnico pero compartidas ampliamente, caracterizándose dichas técnicas por aprovechar la biodiversidad sin afectar cualitativamente su estado efectivo. Sin embargo los componentes intangibles son un objeto jurídico sobre el cual existen derechos y obligaciones de los cuales las comunidades son los titulares. Se recomienda por lo tanto un sistema contractual que permita a comunidades y empresas interesadas en sus conocimientos negociar en un marco jurídico en que se prevea la protección y justa compensación para los proveedores de intangibles. La biodiversidad, producto de naturales procesos biológicos, es un recurso y toca al Estado su administración.

Modelo de gestión comunitaria en la nacionalidad Andoa de la Amazonía ecuatoriana

Los pueblos y nacionalidades indígenas del Ecuador se encuentran en un importante proceso de restructuración y reconocimiento, amparados en las normas constitucionales vigentes pretenden definir los planes que guíen sus acciones y permitan alcanzar el desarrollo sostenible, manteniendo sus costumbres, forma de vida y rescatando sus tradiciones ancestrales. Las teorías de la administración, a través de los modelos de gestión que proponen un orden y estructura para materializar los deseos, se constituyen como un importante instrumento de apoyo. Este trabajo se realizó recabando información generada por la nacionalidad Andoa de Pastaza durante los talleres participativos de creación de su plan de vida, además de fuentes de información secundaria que permiten tener un panorama de su realidad y proponer un modelo de gestión concebido desde las teorías de la administración y fundamentado en las teorías sistémicas de calidad, las cuales permiten su adaptabilidad y desarrollo en función de los cambios del entorno. Se adapta cada uno de los elementos levantados y desarrollados por la nacionalidad al modelo propuesto, con la finalidad de comprobar que mediante el mismo se puede llegar a materializar lo que en un inicio es concebido como sus necesidades y expectativas. Finalmente se plantean las conclusiones y recomendaciones.

Sentidos renovadores de la Iniciativa Yasuní-ITT y su trayectoria en el campo de la opinión pública en Ecuador. Tres momentos entre 2007 y 2011

Esta investigación propone las bases de un modelo de interpretación para el fenómeno de la opinión pública a partir de la Teoría de los Campos de Pierre Bourdieu. Este modelo es el punto de partida para el análisis de la trayectoria de los sentidos renovadores que se desprenden de la Iniciativa Yasuní-ITT, propuesta política del gobierno ecuatoriano surgida en 2007 que consiste en dejar el crudo de tres campos petroleros amazónicos bajo tierra, para lo que se planteó que la comunidad internacional entregue al Ecuador una compensación económica. Los sentidos renovadores identificados son 1) una relación no extractivista con la Naturaleza como eje del debate sobre una economía pos petrolera y 2) un nuevo relacionamiento con los pueblos “otros” que reconoce su condición de sujetos políticos. Ambos sentidos se establecen como renovadores por contraposición con el pensamiento de raíces en la Modernidad que sustenta al capitalismo global como sistema mundo. Propongo que este pensamiento, también denominado pensamiento único, se expresa en los sentidos comunes que dominan el campo de la opinión pública y que son su capital en disputa. Así, el campo de la opinión pública está dinamizado por una lucha de sentidos en que los sentidos renovadores desafían a los sentidos comunes. Observé y describí esta lucha a partir de un seguimiento al discurso de tres agentes sociales fundamentales para el campo de la opinión pública, y definitivos en el caso de la Iniciativa Yasuní-ITT. Estos agentes son el gobierno ecuatoriano, la sociedad civil organizada (Acción Ecológica) y los medios de comunicación masiva (los diarios El Comercio y El Universo). Identifiqué momentos importantes en el devenir de esta iniciativa y analicé el discurso de estos tres agentes sociales en esos momentos. El sustento es el modelo de interpretación trazado para observar el curso y destino de los sentidos renovadores, pero también el funcionamiento de las leyes del “campo” de la opinión pública.

Vigencia y garantía de los derechos en las políticas petroleras en el año 2011

Evidencia las consecuencias de la aplicación de la política petrolera impulsada por la reforma de la Ley de Hidrocarburos que incluye la entrega de campos maduros a empresas privadas; la décima ronda de licitaciones para entregar campos marginales y la décimo primera ronda de licitaciones para concesionar los bloques del sur de la Amazonía, lo que conlleva violaciones de los derechos de las poblaciones que residen en los campos de explotación y amenazan a nuevas poblaciones. Estas poblaciones, principalmente los pueblos indígenas desarrollan luchas de resistencia en defensa de su territorio y su cultura.

Reconstruyendo la identidad: la constitución discursiva de la identidad del pueblo Andoa a través de su narrativa

Los andoas son la última nacionalidad indígena en ser reconocida en el Ecuador, pese a lo cual comparten con el resto de pueblos indígenas de la Amazonía un pasado centenario. El presente trabajo busca indagar los procesos de constitución de la identidad del pueblo andoa a través de su narrativa, teniendo como fondo un estudio pormenorizado de las fuentes etnohistóricas desde las primeras penetraciones españolas. Se parte de la idea de círculos concéntricos de relaciones interétnicas a partir de las cuales se va separando un núcleo de identidad andoa. Luego de un análisis de la historia oral recogida en las comunidades andoas de Ecuador y Perú, se identifican cuatro configuraciones discursivas: 1) las relaciones interétnicas basadas en el parentesco, las alianzas y el comercio con otros grupos zaparoanos y kichwas; 2) la lengua como matriz demarcadora de fronteras étnicas y agente constituyente de identidad; 3) el conflicto y la lucha por territorios y recursos con grupos no-zaparoanos como principio de identificación étnica; y 4) las relaciones con los representantes del poder blanco-mestizo del estado nacional. Cada una de estas configuraciones se constituye un eje del discurso a partir del cual los andoas tejen sus relaciones con respecto al “otro” y se auto-identifican como pueblo. Este ejercicio de auto-identificación, sin embargo, no está exento de contradicciones y tensiones, las mismas que se originan al aplicar el principio de diferenciación étnica a grupos humanos que se encuentran en la misma génesis de la identidad que se quiere constituir. Aún entonces, la experiencia histórica del pueblo andoa y su proceso de formación de identidad reflejan un importante ejercicio de convivencia social en la diferencia y una visión de nacionalidad orientada a reconstituir espacios socio-históricos incluyentes más allá de las fronteras nacionales.

La cosmovisión Andoa a través de su mitología: un estudio etnográfico comparativo

La investigación se propone como un complemento al análisis narrativo-discursivo emprendido en un estudio anterior (Gómez-Rendón 2011) a partir de un corpus recogido en Perú y Ecuador. Mientras en aquél se analizó el proceso de constitución de la identidad andoa a través de la tradición oral, teniendo como telón de fondo un estudio histórico de las fuentes disponibles, el presente estudio analiza aquella parte del corpus narrativo que tiene que ver con la mitología, entendida como el conjunto coherente de piezas de tradición oral que reflejan la cosmovisión de la nacionalidad. El informe consta de cuatro secciones. En la primera se discute el análisis mitológico más allá del pensamiento estructural, tomando en cuenta las funciones de la mitología como matriz de los discursos étnicos y privilegiando una perspectiva histórico-lingüística que procura iluminar los aspectos diacrónicos de la mitopoesis tal como se refleja en la sintaxis de los mitos y su adaptación funcional a los nuevos discursos étnicos. La segunda sección ofrece una mirada de conjunto a la historia y la etnolingüística de la nacionalidad andoa; en esta sección también ofrecemos detalles del corpus trabajado y de sus etapas de recolección y procesamiento. La tercera sección se ocupa del análisis de seis piezas mitológicas andoas en las cuales, 1) se identifican personajes, temas y lugar, y 2) se compara los elementos identificados con los de un corpus mítico pluriétnico formado para el efecto a partir de la tradición oral de otros pueblos amazónicos con los cuales los andoas han convivido en el pasado y conviven en el presente. Cierran el trabajo unas breves líneas que resumen los hallazgos y el provecho de mezclar la metodología propuesta (análisis mitémico comparativo) con un nuevo enfoque del análisis mitológico (sociohistórico y de contacto).