Made available in DSpace on 2015-05-14T12:14:18Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 946207 bytes, checksum: ce60b72d0464b16c7813e072994bd043 (MD5) Previous issue date: 2010-03-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this thesis we study the Lorentz and CPT symmetries breaking in a 4D fourfermions model at zero and at finite temperature. At zero temperature we find that these symmetries can be violated, but at finite temperature we show that there is a critical temperature at which the Lorentz and CPT symmetries are restored. We show that it is possible obtain the Friedmann equation in five dimensions in the presence of terms that violate the Lorentz symmetries , and as solution of this equation we find that the evolution of the universe is not usual, oscillating between accelerated phases and desaccelerated phases. We analyse the extension of the quantum eletrodynamics in the limit of high temperatures. Our aim is study the modifications that the Lorentz violation can cause in the free energy of the quantum eletrodynamics and with this to use experimental data related the free energy to estimate a numeric value to the parameter of Lorentz violation. We study a proposal of modification of the gravitation, this proposal consist in adding the Chern-Simons term to the usual gravitation. The issue most notable in this theory of gravitation is the search for solutions that occur in the general relativity and that somehow persist in this new theory. We show that for a given choice of scalar field that is introduced together with the Chern-Simons term, it is possible to find important solutions of the general relativity in this new theory of gravitation, as the Schwarzschild solution, the G¨odel metric, among others. We study with emphasis the G¨odel solution, showing that it is possible the existence this solution in the modified theory when we interpret the scalar field as a external field and when we interpret this same field as a dynamic field, this last interpretation leads the important modifications in parameter of the theory. / Nesta tese estudamos a quebra espontânea das simetrias de Lorentz e CPT em um modelo de quatro férmions quadridimensional em temperatura zero e em temperatura finita. Em temperatura zero encontramos que essas simetrias podem ser violadas, já em temperatura finita mostramos que pode existir uma temperatura para a qual essas mesmas simetrias que foram quebradas em temperatura zero podem ser restauradas. Mostramos que é possível obter uma equação de Friedmann em cinco dimensões na presença de termos que violam as simetrias de Lorentz, e como solução dessa equação encontramos que a evolução do universo pode ter um comportamento não usual, oscilando entre fases aceleradas e desaceleradas. Analisamos a eletrodin amica quântica estendida no limite de altas temperaturas. Nosso objetivo é estudar as modificações que a violação de Lorentz pode causar na energia livre da eletrodinâmica quântica e com isso usar dados experimentais relacionados a energia livre para estimar um valor num´erico para o par ametro de quebra das simetrias de Lorentz. Estudamos uma proposta de modificação da gravitação, esta proposta consiste em adicionarmos o termo de Chern-Simons a gravitação usual. O assunto com maior destaque nesta nova teoria de gravitação é a busca por soluções que ocorrem na relatividade geral e que de algum modo persistem nesta teoria modificada. Mostramos que para uma determinada escolha do campo escalar que é introduzido junto ao termo de Chern-Simons na teoria, é possível termos importantes soluções da relatividade geral nesta nova teoria de gravitação, como a solução de Schwarzschild, a métrica de Gödel, entre outras. Estudamos com maior ênfase a solução de Gödel, mostrando que é possível termos essa solução na teoria modificada tanto no caso em que interpretamos o campo escalar como um campo externo, quanto no caso em que o interpretamos como um campo dinâmico, esta última interpretação nos conduz a modificações importantes em parâmetros da teoria.

Uppsatsen behandlar i vilken utsträckning som de fem olika varianterna av det ontologiska gudsbeviset presenterade av Anselm, Descartes, Malcolm, Plantinga respektive Gödel är rimliga.

Made available in DSpace on 2016-04-27T17:27:11Z (GMT). No. of bitstreams: 1 Cassia Sampaio Sanctos.pdf: 875084 bytes, checksum: 3baa23ce43e41c748fa70bf983f30e20 (MD5) Previous issue date: 2015-05-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The thesis constitutes a critical review of Gödel´s doctoral dissertation which presents a proof for the completeness of first order logic. The introduction addresses the concepts of formalism, axiomatic method and completeness, thus the proof can be contextualized. The language for the restricted functional calculus is defined, with the corresponding syntax and semantics, and the original Gödel´s demonstration is updated. The appendix contains a translation of the referred dissertation, which is unprecedented in Portuguese / O trabalho constitui um comentário crítico da dissertação de doutorado de Gödel que apresenta uma prova de completude da lógica de primeira ordem. A introdução trata dos conceitos de formalismo, método axiomático e completude, para que seja possível contextualizar a prova. A linguagem para o cálculo funcional restrito é definida, com sua sintaxe e semântica, e a demonstração original de Gödel é atualizada. O apêndice contém a tradução da referida dissertação, que é inédita em língua portuguesa

The semi-classical black hole tunnelling method is a useful technique to calculate black hole temperature and understand black hole thermodynamics. I will investigate the black hole tunnelling method in detail. I will compare two different approaches used to calculate black hole tunnelling. The tunnelling method can be applied to a broad range of spacetimes and I will show this explicitly in order to demonstrate the robustness of the tunnelling technique. In particular, I will apply the tunnelling method to spacetimes including: Rindler (the method can recover the Unruh temperature), and more general spacetimes (such as Kerr-Newman and Taub-NUT). I will also discuss the 5d Kerr-Gödel spacetimes in detail (while showing a previous unobserved property of these spaces). Once the parameter space of Kerr-Gödel is understood in detail, I will show how the tunnelling method can also be successfully applied to the Kerr-Gödel black hole. Finally, the key result of my thesis involves extending the tunnelling method to model fermion emission. The previous tunnelling calculations all involved the emission of scalar particles. I will model the emission of spin-1/2 fermions from various spacetimes including the Rindler spacetime and general non-rotating black holes. I will also model the emission of charged spin-1/2 fermions from the Kerr-Newman spacetime to show that the method is also applicable to rotating spacetimes. In all these cases I show that the correct Hawking temperature (Unruh temperature in the case of Rindler) is recovered for spin-1/2 fermion emission. Although this final result is not surprising, it is an important result because it confirms that Dirac particles will radiate from the black hole at the same temperature as scalar particles. It has always been assumed that this is the case but there is very little literature involving fermion radiation of black holes. So the results of my calculations are twofold, I demonstrate that Dirac particles are emitted at the same temperature as scalar particles from a black hole and it shows how robust the semi-classical tunnelling technique is.

The semi-classical black hole tunnelling method is a useful technique to calculate black hole temperature and understand black hole thermodynamics. I will investigate the black hole tunnelling method in detail. I will compare two different approaches used to calculate black hole tunnelling. The tunnelling method can be applied to a broad range of spacetimes and I will show this explicitly in order to demonstrate the robustness of the tunnelling technique. In particular, I will apply the tunnelling method to spacetimes including: Rindler (the method can recover the Unruh temperature), and more general spacetimes (such as Kerr-Newman and Taub-NUT). I will also discuss the 5d Kerr-Gödel spacetimes in detail (while showing a previous unobserved property of these spaces). Once the parameter space of Kerr-Gödel is understood in detail, I will show how the tunnelling method can also be successfully applied to the Kerr-Gödel black hole. Finally, the key result of my thesis involves extending the tunnelling method to model fermion emission. The previous tunnelling calculations all involved the emission of scalar particles. I will model the emission of spin-1/2 fermions from various spacetimes including the Rindler spacetime and general non-rotating black holes. I will also model the emission of charged spin-1/2 fermions from the Kerr-Newman spacetime to show that the method is also applicable to rotating spacetimes. In all these cases I show that the correct Hawking temperature (Unruh temperature in the case of Rindler) is recovered for spin-1/2 fermion emission. Although this final result is not surprising, it is an important result because it confirms that Dirac particles will radiate from the black hole at the same temperature as scalar particles. It has always been assumed that this is the case but there is very little literature involving fermion radiation of black holes. So the results of my calculations are twofold, I demonstrate that Dirac particles are emitted at the same temperature as scalar particles from a black hole and it shows how robust the semi-classical tunnelling technique is.

A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las.

This work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category is considered. Then several systems of morphisms loosely based on the crisp categories Rel and Set are defined and examined. Accordingly, all the systems under consideration consist of fuzzy sets as objects and various kinds of binary fuzzy relations as morphisms. Our approach is a logic-based graded generalization of crisp (clas- sical) category-theoretical approaches to fuzzy sets, which have been initiated by Goguen. 1

Made available in DSpace on 2016-04-26T20:24:14Z (GMT). No. of bitstreams: 1 Rodrigo Reis Ribeiro Bastos.pdf: 1650314 bytes, checksum: a64e9e73a4335f5e52fb9b89505e15d7 (MD5) Previous issue date: 2016-02-24 / Using computer and computerize are very different things. Using computer means keeping the same procedures using other means. Change to the typewriter by the word processor and cards movements processes for databases. It's been done, it is ready! The next step is to computerize. Computerize means automating procedures based on formal hierarchical systems. Digital technology, binary, which we have today can not hand down sentences, but there is much in the legal procedure that can be automated, even the sentences. The computerization of judicial services is already underway. A major step in this direction was the adoption of the electronic process. The problem is that this is not being done in a uniform manner, every court, every stick and every judge adopt their own methods of computerization. The lack of cohesion and uniformity arises in the absence of a theory that is able to support the process of computerization of processes. The computerization and automation of procedures depends on the adoption of models of formal systems and hierarchy that need to be interpreted isomorphically by computer programs and, finally, the machine language (do not be alarmed with the terms, everything will be explained in the following pages). On the right who moved closer to the establishment of a formal hierarchical model was Hans Kelsen in his Pure Theory of Law. Moreover, it seems, Kelsen had a clear notion of the intrinsic and insurmountable limitations of formal systems. A useful, correct and consistent basis for the computerization of the law must take these limits into account. As the limits of formal systems were discovered and demonstrated by Kurt Gödel and having both lived in the same time in the same city, studied and taught at the same university and had friends in common, it is reasonable to assume that Kelsen has been influenced by the incompleteness theorems Gödel in building the fundamental hypothetical norm / Informatizar e computadorizar são coisas bem diferentes. Computadorizar significa manter os mesmos procedimentos usando outros meios. Troca-se a máquina de escrever pelo processador de textos e as fichas de andamentos de processos por bancos de dados. Isso já foi feito, está pronto! O próximo passo é a informatização. Informatizar significa automatizar procedimentos com base em sistemas formais hierarquizados. A tecnologia digital, binária, da qual dispomos hoje não é capaz de proferir sentenças, mas há muito no processo judicial que pode ser automatizado, até mesmo a atribuição das sentenças. A informatização da prestação jurisdicional já está em curso. Um grande passo nesta direção foi a adoção do processo eletrônico. O problema é que isto não está sendo feito de uma maneira uniforme, cada tribunal, cada vara e cada juiz adotam métodos próprios de informatização. A falta de coesão e de uniformidade decorre na inexistência de uma teoria que seja capaz de fundamentar o processo de informatização dos processos. A informatização e automação dos procedimentos depende da adoção de modelos de sistemas formais e hierarquizados que precisam ser interpretados isomórficamente pelos programas de computadores e, por fim, pela linguagem de máquina. No direito quem chegou mais perto da criação de um modelo formal hierarquizado foi Hans Kelsen com sua Teoria Pura do Direito. Além disso, ao que parece, Kelsen tinha clara noção das limitações intrínsecas e insuperáveis dos sistemas formais. Uma fundamentação útil, correta e coerente para a informatização do direito deve levar tais limites em conta. Como os limites dos sistemas formais foram descobertos e demonstrados por Kurt Gödel e tendo os dois vivido na mesma época, na mesma cidade, estudado e lecionado na mesma universidade e tido amigos em comum, é razoável supor que Kelsen tenha sido influenciado pelos teoremas da incompletude de Gödel na construção da norma fundamental. Ainda que assim não seja uma interpretação do sistema Kelseniano a luz dos teoremas da incompletude é a melhor forma de que dispomos para criar o fundamento teórico da inevitável informatização

Submitted by Vasti Diniz (vastijpa@hotmail.com) on 2017-09-18T14:40:44Z No. of bitstreams: 1 arquivototal.pdf: 5994670 bytes, checksum: 2dd7a3577c0cc6ee44dd8eb7435dfaaf (MD5) / Made available in DSpace on 2017-09-18T14:40:44Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 5994670 bytes, checksum: 2dd7a3577c0cc6ee44dd8eb7435dfaaf (MD5) Previous issue date: 2015-02-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this thesis we study the dynamics of charge carriers, and the electronic properties, of the C60 fullerene molecule. Characterizing it by a geometric bias. In inertial reference systems and when we have your material under rotation content. Initially we discussed the scientific advent of carbon allotropes, and the importance of modelling its derivates at low energies. We show that at low energies, the graphene - the two-dimensional carbon allotrope form - can be described for a non-massive theory of free fermions. At a second moment, we extended the nonmassive free fermions theory for the C60 molecule. Assuming the hexagonal graphene network can be entered in fullerene when we introduce topological defects. A brief study of topological defects in condensed matter was done. And soon after, we made a description these defects via a non-Euclidean geometry. Showing how the charge carriers in the network see the defects like gauge fields. Then we began to expose the results of this thesis. First we assume the fullerene by a two-dimensional spherical metric with defects, containing a fictitious t’Hooft-Polyakov monopole in its center. TheC60 is still subjected to the action of an Aharonov-Bohm flux arising of a magnetic wire running through its poles. So we get the spectrum, and the prediction of a persistent current in the molecule. Finally we return to the analysis of the molecule, now with your content of matter under rotation. For this, we studied a metric Gödel-type with spherical symmetry. We discussed the problem of causality and obtain the spectrum and the persistent current in terms of the vorticity (W) of spacetime. / Nesta tese estudamos a dinâmica de portadores de carga, e as propriedades eletrônicas, na molécula de fulerenoC60. Caracterizando-a por um viés geométrico. Tanto em sistemas de referência inercial, como quando temos seu conteúdo de matéria sob rotação. Inicialmente abordamos o advento científico das formas alotrópicas do carbono e a importância da modelagem a baixas energias dos seus derivados. Onde mostramos que no limite de baixas energias, o grafeno - que trata-se da forma alótropica bidimensional do carbono - pode ser descrito por uma teoria de férmions livres sem massa. Num segundo momento estendemos a teoria de férmions não massivos para a molécula de C60. Assumindo que a rede hexagonal do grafeno pode inscrever o C60 ao introduzirmos alguns defeitos topológicos. Um breve estudo sobre os defeitos topológicos na matéria condensada foi feito. Onde, logo em seguida, partimos para uma descrição de tais defeitos via uma geometria não-euclidiana. Mostrando como os portadores de carga no meio enxergam os defeitos como campos de gauge. Em seguida começamos a expor os resultados desta tese. Primeiramente assumimos tratar o fulereno por uma métrica de uma esfera bidimensional com defeitos, e contendo um monopolo de t’Hooft-Polyakov fictício em seu centro. O C60 é ainda submetido a ação de um fluxo de Aharonov-Bohm advindo de uma corda magnética quiral transpassando seus polos. Obtemos assim o espectro e a predição de uma corrente persistente na molécula. Por fim retomamos a análise da molécula, agora com seu conteúdo de matéria sob rotação. Para isso assumimos tratar o fulereno por uma métrica do tipo Gödel com simetria esférica. Discutimos o problema da causalidade e obtemos espectro e corrente persistente em termos da vorticidade (W) do espaço-tempo.

This project aims to study general relativity to the extent to understand the occurrence and behaviors of closed timelike curves (CTCs) in several exact solutions of Einstein’s field equations. The rotating black hole solution, the Gödel universe and the cosmic string solutions are studied in detail to show how CTCs arise in these spacetimes. The chronology-violationing paradoxes and other unphysical aspects of CTCs are discussed. The spacetimes where CTCs arise possess properties which are argumented to be unphysical, such as lack of asymptotic flatness and being innite models. With quantum computational networks it is possible to resolve the paradoxes which CTCs evoke. With all these attempts of resolving CTCs, our conclusion is that CTCs exist quantum mechanically, but there is a mechanism which inhibits them to be detected classically. / Detta projekt åsyftar att studera allmän relativitet i den grad att kunna förstå uppkomsten och företeelsen av tidsliknande slutna kurvor (CTC) i några exakta lösningar till Einsteins ekvationer. Dessa lösningar inkluderar Gödel universen, kosmiska strängar och det roterande svarta hålet, där CTC studeras i mer detalj. CTC är kronologi-kränkande företeelser och paradoxen som uppstår presenteras, samt de argument som ligger till grund till att CTC inte är fysikaliskt verkliga objekt. De tidrum där CTC uppkommer delar gemensamma egenskaper som anses ofysikaliska, som att vara icke asymptotiskt platta tidrum, samt att vara oändliga modeller. Med kvantinformatiska nätverk kan CTC illustreras och de klassiska kronologi-paradoxen kan rättas ut. Slutsatsen är att CTC existerar kvantmekaniskt, men det fnns en mekanism i verkligheten som förhindrar dessa att bli detekterade klassiskt.