Related papers: Logic and String Theory
Long strings emerge in many Quantum Field Theories, for example as vortices in Abelian Higgs theories, or flux tubes in Yang-Mills theories. The actions of such objects can be expanded in the number of derivatives, around a long straight…
String theories should reduce to ordinary four-dimensional field theories at low energies. Yet the formulation of the two are so different that such a connection, if it exists, is not immediately obvious. With the Schwinger proper-time…
The main aim of this paper is to present an overview of the need of a new way of coping the fundamental equations of physics, see the references. Our main aim is to build a new metrics in which both time and space are included, but in some…
These four lectures, addressed to an audience of graduate students in experimental high energy physics, survey some of the basic concepts in string theory. The purpose is to convey a general sense of what string theory is and what it has…
Equational reasoning with string diagrams provides an intuitive means of proving equations between morphisms in a symmetric monoidal category. This can be extended to proofs of infinite families of equations using a simple graphical syntax…
The role of integrable systems in string theory is discussed. We remind old examples of the correspondence between stringy partition functions or effective actions and integrable equations, based on effective application of the matrix model…
C. I. Lewis invented modern modal logic as a theory of "strict implication". Over the classical propositional calculus one can as well work with the unary box connective. Intuitionistically, however, the strict implication has greater…
Computability logic (CL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a semantical platform and research program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth which it has more…
A persistent challenge in AI is the effective integration of material and formal inference - the former concerning the plausibility and contextual relevance of arguments, while the latter focusing on their logical and structural validity.…
Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this…
We derive the universal threshold corrections in heterotic string theory including a continuous Wilson line. Unification of gauge and gravitational couplings is shown to be possible even within perturbative string theory. The relative…
This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is…
We briefly review three aspects of string cosmology: (1) the ``stochastic'' approach to the pre-big bang scenario, (2) the presence of chaos in the generic cosmological solutions of the tree-level low-energy effective actions coming out of…
This book provides an introduction to string field theory (SFT). String theory is usually formulated in the worldsheet formalism, which describes a single string (first-quantization). While this approach is intuitive and could be pushed far…
We discuss aspects of global and gauged symmetries in quantum field theory and quantum gravity, focusing on discrete gauge symmetries. An effective Lagrangian description of $\Z_p$ gauge theories shows that they are associated with an…
A brief review of the status of duality symmetries in string theory is presented. The evidence is accumulating rapidly that an enormous group of duality symmetries, including perturbative T dualities and non-perturbative S-dualities,…
String theory, if it describes nature, is probably strongly coupled. In light of recent developments in string duality, this means that the ``real world'' should correspond to a region of the classical moduli space which admits no weak…
This monograph introduces the basic concepts of the theory of causal fermion systems, a recent approach to the description of fundamental physics. The theory yields quantum mechanics, general relativity and quantum field theory as limiting…
For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general…
Sequence theories are an extension of theories of strings with an infinite alphabet of letters, together with a corresponding alphabet theory (e.g. linear integer arithmetic). Sequences are natural abstractions of extendable arrays, which…