[pt] Sabemos pelo Teorema da Incompletude de Godel que existem afirmações verdadeiras sobre números naturais que não podem ser demonstradas na aritmética de Peano. Paris e Harrington deram um exemplo de uma variação do Teorema de Ramsey finito que não pode ser demonstrada em aritmética de Peano apesar de ser facilmente demonstrável na Teoria de Conjuntos usual. Este é geralmente considerado o primeiro exemplo matematicamente natural de uma sentença indecidível. Além da demonstração original, apresentamos nessa dissertação outra usando Teoria de Modelos. / [en] From Godel’s Incompleteness Theorem we know that there are true sentences about natural numbers which can not be proved in Peano Arithmetic. Paris and Harrington gave an example of a variation of the finite Ramsey Theorem which can not be proved in Peano Arithmetic although it can be easily proved in usual Set Theory. This is usually considered the first example of a mathematically natural undecidable sentence. Besides the original proof, another one, using Model Theory, is presented in this dissertation.

[pt] A hipótese central considerada neste trabalho é a de que a definição matemática de dynamis, tal como apresentada na passagem 148 a-b do Teeteto, permite a Platão extrair implicações filosóficas que contribuirão para o desenvolvimento de seu pensamento nos últimos diálogos. De acordo com essa hipótese, teria sido possível para Platão expressar tais implicações, tanto do ponto de vista filosófico - repercutindo numa reavaliação do estatuto ontológico do mundo sensível - como também do ponto de vista da própria matemática através de uma valorização crescente desta, em especial a que trata dos números irracionais.

[pt] O presente trabalho se propõe a analisar o contexto histórico e teórico, bem como as conseqüências, do ponto-de- vista democrático, do surgimento de um domínio do poder estatal através do domínio da técnica do direito. O foco de lugar e tempo é posto no Brasil, principalmente a partir da feitura e promulgação da Constituição Federal de 05.10.1988. Através desta análise histórico-teórica é mostrado como no Brasil, com atraso de algumas décadas em relação aos principais centros da Europa Continental, os juristas começam, desde 1988 mais intensamente, a tomar o controle do poder político-estatal, através do fechamento do direito em uma comunidade de intérpretes que domina a cada vez mais complexa técnica do direito. Para tanto, a constituição jurídica é simbolizada e hipostasiada em um fetichismo constitucional, que a dissocia de suas bases histórico-políticas e a torna uma espécie de totem inalcançável à sociedade. Com isso, muitas das decisões políticas mais importantes da República Federativa do Brasil são deslocadas da esfera pública política formal e informal para uma comunidade restrita de técnicos do direito, em torno, principalmente, da atividade jurisdicional dos tribunais - em especial, do Supremo Tribunal Federal. É assim que se forma a tecnocracia jurídica no Brasil. / [en] This work aims at analyzing the theoretical and historical context, as well as the consequences, from a democratic point of view, of a new domination of the power of the state through the mastering of the law technique. The time and place focused are Brazil especially from the drafting and promulgation of the Constituição Federal of 1988. From this historical and theoretical analysis it is showed how in Brazil, with a few decades delay compared to continental Europe, jurists have begun, and since 1988 more strongly, to take control of the state´s political power, via closing the law into a interpreters expert community which dominates the every more complex law technique. In order to do that, the juridical constitution is symbolized and hypostatized into a constitutional fetishism, which dissociates itself form its historical and political foundations, and makes it a kind of unattainable totem to society. Because of that many of the most important political decisions are withdrawn from the formal and the informal public spheres into a restrict community of jurists preferably gathered around the jurisdictional activity of the courts - especially, around the Supremo Tribunal Federal. That is how the juridical technocracy develops in Brazil.

[pt] Esta dissertação aborda o tema das instituições internacionais fundamentais através do estudo do papel que a guerra justa desempenha na modernidade. Meu argumento é que a guerra justa pode ser interpretada como uma instituição constitutiva do internacional moderno. Primeiramente, a partir de uma análise do pensamento de Francisco de Vitoria, discuto como os ameríndios foram situados em um patamar inferior de desenvolvimento, possibilitando a justificação das guerras de colonização a partir da ideia de um propósito moral civilizatório. Baseando-me em Christian Reus-Smit, que pretende explicar o desenvolvimento das instituições fundamentais no marco de um complexo normativo, interpreto a guerra justa, na Espanha do século XVI, como uma instituição desenhada para legitimar as práticas da conquista e da expansão colonial. Em um segundo momento, apresento um desenvolvimento histórico da lei natural e discuto como ela participou da estrutura normativa dos sistemas colonial e imperial. Busco mostrar que, apesar do abandono do jusnaturalismo a partir do século XVIII, a lei natural permaneceu na expressão de uma pretensa superioridade dos povos europeus perante seus Outros. Na terceira etapa, finalizo a caracterização da guerra justa como uma instituição constitutiva do internacional moderno, a partir do entendimento de que ela representa uma via para os Estados europeus expressarem e afirmarem sua civilização diante dos povos não-europeus. Além de buscar uma relação dialógica construtiva e complementar com a Teoria Política, esta dissertação representa um esforço crítico na direção de uma maior valorização das contingências históricas e da dimensão moral no estudo teórico das relações internacionais. / [en] The purpose of this dissertation is to discuss the theme of fundamental international institutions by studying the role that just war plays in modernity. My argument is that just war can be understood as a constitutive institution of the modern international. The development of my argument is divided into three parts. First, I analyze the thought of Francisco de Vitoria and discuss how the Amerindians were placed at a lower level of development in comparison to the Europeans. That characterization permitted to justify wars of colonization under a civilizing moral purpose. Based on Christian Reus-Smit s proposal of a normative complex to explain the development of fundamental institutions, I interpret just war, in sixteenth-century Spain, as an institution designed to legitimize the practices of the conquest and colonial expansion. Second, I present an historical development of natural law and a discussion of how it participated in the normative structure of the colonial and imperial systems. I intend to show that despite the abandonment of jusnaturalism from the eighteen century on, natural law still remained in the expression of a supposed superiority of the European peoples. Finally, by understanding that just war represents a way through which the European states express and affirm their civilization before the non-European peoples, I finish my characterization of just war as a constitutive institution of the modern international. Besides attempting to establish a constructive and complementary dialogic relationship with Political Theory, the present dissertation constitutes a critical effort that calls for a greater consideration of historical contingencies and of the moral dimension in the theoretical study of international relations.

[pt] Este trabalho emprega conceitos e ferramentas de Teoria das Categorias e Teoria de Topoi para construir um modelo matemático de problemas, reduções entre problemas, espaços e estratégias de busca heurística. Mais precisamente, uma estratégia de construção de espaços de busca é representada por um funtor de uma certa categoria de problemas para uma certa categoria de florestas. A coleção de todos estes funtores forma um topos, um modelo específico equipado com uma lógica interna própria. Esta lógica interna é usada, então, para definir estratégias de busca e heurísticas em Teoria Local dos Conjuntos. Possíveis aplicações do trabalho incluem (1) a especificação lógica e a classificação de heurísticas e meta-heurísticas usadas na prática e (2) uma versão mais abstrata e geral de resultados específicos relacionando a estrutura de problemas com métodos de resolução adequados. / [en] This work employs concepts and tools from Category Theory and Topos Theory to construct a mathematical model for problems, reductions between problems, heuristic search spaces and strategies. More precisely, a search space construction strategy is represented by a functor from a certain category of problems to a certain category of forests. The collection of all such functors forms a topos, a specific model equipped with its own internal logic. This internal logic is then used to define search satrategies and heuristics in Local Set Theory. Possible applications of this work include (1) the logical specification and classification of heuristics and metaheuristics used in pratice and (2) a more abstract and general rendering of specific results relating the structure of problems to adequate problem-solving methods.

[pt] A Constituição brasileira de 1988 é rica em sua principiologia. Dentre os princípios dirigidos à Administração Pública destaca-se o da moralidade, que ainda hoje é considerado por alguns administrativistas um conceito vago e impreciso. Demonstrar a existência de uma relação direta entre a adoção do princípio da moralidade administrativa e as transformações na teoria Política, na teoria do Direito e na teoria da Constituição é a tônica do trabalho. É verdadeira essa afirmação? Seria o princípio da moralidade administrativa um mero conselho dirigido ao administrador público ou um comando substantivo, sujeito a penalidades e sanções? E, finalmente, a adoção do princípio da moralidade administrativa foi um arroubo de ingenuidade do constituinte brasileiro ou representa uma proposta de mudança paradigmática para a Administração Pública brasileira? A conclusão busca responder às três indagações, a partir da investigação crítica das transformações verificadas na teoria Política, na teoria do Direito e na teoria da Constituição. / [fr] La Constitution brésilienne de 1988 est riche dans sa principiologie. Parmi les principes par rapport à l administration, ce de la moralité est à souligner, si bien qu il soit consideré encore aujourd hui par des spécialistes comme un concept vague et imprécis. L objectif de cette dissertation est ce de démontrer l existence d une relation directe entre l adoption du principe de la moralité administrative et les transformations dans la théorie Politique, dans la théorie du Droit et du Droit Constitutionnel. Le principe de la moralité administrative est-il un simple conseil adressé aux fonctionnaires ou à un ordre sujet à des pénalités et à des sanctions? Enfin, l adoption du principe de la moralité publique est-elle provenante de l ingénuité du législateur brésilien ou s agit- elle d une proposition pragmatique de changements pour l administration Publique au Brésil? À façon de conclusion, nous cherchons à répondre à ces trois questions au moyen d un étude critique des transformations vérifiées dans les théories de la Politique, du Droit et du Droit Constitutionnel.

[pt] O setor de exploração petrolífera tem como característica intensa competitividade entre empresas. Por conseguinte, há a necessidade dos players deste setor de alocar recursos financeiros (em geral escassos) entre uma série de projetos disponíveis, que envolvem diversas incertezas de caráter econômico, geológico e tecnológico. As buscas de oportunidades exploratórias induzem às técnicas de análise do risco envolvido nessas oportunidades. Dentro desse contexto, no processo decisório, existem assuntos inter-relacionados tais como: os objetivos da empresa, as restrições orçamentárias, tolerância ao risco, etc. Em situação de incerteza, os métodos tradicionais, baseados apenas na maximização do valor presente líquido do projeto não fornecem informações suficientes para uma tomada de decisão. Faz-se necessário uma abordagem que envolva diversas técnicas para o tratamento da incerteza em tomada de decisão em projetos de risco. Dentre essas técnicas estão a análise de sensibilidade e a simulação de Monte Carlo, que serão utilizadas nesse trabalho para atender a essa necessidade. Além disso, para uma melhor apresentação do objetivo proposto, foi construído um modelo para a aplicação dos conceitos desenvolvidos nesse estudo / [en] The oil exploration industry is characterized by intense competition between companies. Therefore, there is the need for players in this sector to allocate resources (usually scarce) from a number of projects available, which involve various uncertainties of an economic, geological and technological. The search for opportunities to induce exploratory techniques for analyzing the risk involved in these opportunities. Within this context, the decision process, there are interrelated issues such as business objectives, budget constraints, risk tolerance, etc. In situations of uncertainty, the traditional methods, based only on maximizing the net present value of the project do not provide sufficient information for decision making. It is necessary to an approach that involves various techniques for the treatment of uncertainty in decision making in risky projects. Among these techniques are sensitivity analysis and Monte Carlo simulation, which will be used in this work to meet this need. In addition, for a better presentation of the proposed objective, a model was built for the application of the concepts developed in this study.

[pt] Este trabalho apresenta uma teoria de vigas para metais e ligas metálicas a altas temperaturas que leva em conta o endurecimento cinemático e isotrópico induzidos pela plastificação. Apesar da não linearidade das equações constitutivas consideradas, propõe-se uma técnica numérica extremamente simples de solução, válida para diferentes tipos de carregamentos. Desta forma, é possível se fazer a baixo custo uma avaliação das tensões atuantes e das deformações permanentes induzidas por carregamentos complexos, o que é um passo fundamental no estudo da integridade de certos equipamentos industriais. / [en] This work presents a theory of beams for metals and alloys at elevated temperature which takes into account the kinematic and isotropic hardening induced by plastic deformation. In spite of the strong non linearity of the constitutive equations, it is proposed a very simple numerical technique of solution which is valid is valid for any kind of loading. Consequently, the theory allows a low cost analysis of the stresses and strains in many structural elements used in industrial applications.

[pt] Este trabalho procura motivar e propor direções para uma abordagem de rudimentos da Teoria de Grafos nos anos finais da educação secundária brasileira. Os conceitos básicos da teoria são apresentados no contexto de desafios lúdicos e situações cotidianas. Procura-se ainda destacar a interdisciplinaridade e a atualidade do tema, apresentando exemplos provenientes de ramos tão diversos como eletrônica, transportes, arqueologia e genética. / [en] This work makes a case for the inclusion of some rudimentary Graph Theory in the final years of secondary education in Brazil, and also puts forward some suggestions of approach. The most basic concepts are presented in a light key, taking advange of puzzles and day to day situations. An effort was made to highlight the connections and applications of the theory to many branches of science and technology, such as electronics, transports, archeology and genetics.

[pt] A presente tese, intitulada Estudos de historiografia literária na ABRALIC (1988-2006): uma cartografia crítica, tem como proposta central realizar uma avaliação crítica dos trabalhos publicados nos Anais da Associação Brasileira de Literatura Comparada (ABRALIC) desde sua fundação em 1988 até 2006, cobrindo, assim, um intervalo temporal de duas décadas. Seu intuito específico entende-se como mapeamento de pressupostos teóricos, epistemológicos, estéticos e políticos que orientam os estudos científicos dedicados à historiografia literária por pesquisadores que participam desse evento acadêmico bianual no Brasil, o que engendra o esboço de uma cartografia indicativa de algumas tendências preferenciais - e sua variações - seja em termos de tópicos temáticos, seja em sua configuração. Esta investigação fundamenta-se em perspectivas empíricas e sistêmicas nos estudos de literatura, encontrando igualmente apoio em análises quantitativas das manifestações dos trabalhos. A identificação básica de dez acentos distintos, com a ajuda de modelos de análise estatística, permitiu agrupar os diferentes ensaios de historiografia literária nas seguintes categorias: Aspectos teórico-conceituais, Prática de escrita historiográfica, Romance Histórico, Memória, Abordagem bibliográfica, História e literatura, História e ensino, História e outro setor, Genealogia e Catalogação, dedicando um espaço nomeado Outros aspectos para trabalhos isolados que não permitem uma generalização. As variações de ênfase sobre os projetos historiográficos, tornadas visíveis em sua dimensão diacrônica nos gráficos estatísticos elaborados, lançam uma luz reveladora sobre as tendências básicas dos projetos historiográficos na literatura. A leitura desses dados permite perceber, assim, além de um crescente interesse na discussão dos próprios modelos adequados à formação de uma historiografia e de novos temas na área em questão, como essas novas propostas se manifestam, no que diz respeito ao interesse dos pesquisadores, ao longo dessas duas décadas. / [fr] La présente thèse, intitulée Études d’historiographie littéraire de l’ABRALIC (1988-2006) : une cartographie critique, a pour proposition centrale de procéder à un examen critique des travaux publiés dans les annales de l`Association brésilienne de littérature comparée (ABRALIC) depuis sa fondation, en 1988, jusqu’à 2006, couvrant ainsi une période de deux décennies. Son but spécifique est d’identifier les préssupposés théoriques, épistemologiques, esthétiques et politiques orientant les études scientifiques consacrées à l`historiographie littéraire par les éventuels participants de cet évènement académique réalisé tous les deux ans au Brésil. Ceci permet d`établir l`ébauche d`une cartographie indiquant quelques tendances de prédilection - et leurs variations respectives - concernant aussi bien les topiques thématiques, que leur configuration. La présente recherche se fonde sur des perspectives empiriques et systémiques des études de littérature et trouve appui également dans des analyses quantitatives des travaux présentés. L`identification fondamentale de dix catégories différentes a été réalisée à l’aide de modèles d`analyse statistique e a permis ainsi de regrouper les différents essais d’historiographie littéraire dans les catégories suivantes : Aspects téoriques-conceptuels , Pratique de l’écriture historiographique , Roman historique , Mémoire , Approche bibliographique, Histoire et littérature, Histoire et enseignement , Histoire et d’autres secteurs, Généalogie et Catalogage. Les travaux isolés non susceptibles de généralisations ont été classés dans la catégorie Autres aspects. Les variations d’emphase sur les projets historiographiques, rendue visible dans sa dimension diachronique dans les tableaux graphiques statistiques élaborés, jettent la lumière sur les tendances principales de ce type de projet dans le domaine de la littérature. Ainsi, la lecture des données revelées permet de constater, en outre de l’intérêt croissant dans la discussion sur les modèles appropriés à la constitution d`une historiographie en soi et sur les nouveaux thèmes dans le domaine en question, comment ces nouvelles propositions se manifestent dans l’intérêt des chercheurs tout au long de ces deux décennies.