Related papers: Strings from Logic
In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence.…
String Theory is a hot topic of physics and mathematics. For the former, it stands as a huge sandbox where the formulation of difficult problems can be simplified and their hard computations carried out. For the latter, it stands as a…
One cannot yet point to any firm string prediction. While many approximate string ground states are known with interesting properties, we do not have any argument that one or another describes what we observe around us, and for reasons…
The interplay between string theory and cosmology is very promising. Since string theory will yield a quantum theory of space-time and unify all forces of nature, it has the potential of addressing many of the conceptual problems of the…
Cosmic strings are linear concentrations of energy that may be formed at phase transitions in the very early universe. At one time they were thought to provide a possible origin for the density inhomogeneities from which galaxies eventually…
String theory is the leading contemporary framework to explore the synthesis of quantum mechanics with gravity. String phenomenology aims to study string theory while maintaining contact with observational data. The fermionic $Z_2\times…
String Field Theory is a formulation of String Theory as a Quantum Field Theory in target space. It allows to tame the infrared divergences of String Theory and to approach its non-perturbative structure and background independence. This…
In addition to being a prime candidate for a fundamental unified theory of all interactions in nature, string theory provides a natural setting to understand gauge field theories. This is linked to the concept of "D-branes": extended,…
For any given sequence of integers there exists a quantum field theory whose Feynman rules produce that sequence. An example is illustrated for the Stirling numbers. The method employed here offers a new direction in combinatorics and graph…
Quantization of closed string proceeds with a suitable choice of worldsheet vacuum. A priori, the vacuum may be chosen independently for left-moving and right-moving sectors. We construct {\sl ab initio} quantized bosonic string theory with…
This contribution, aimed mostly at experimental particle physicists, reviews some of the main ideas and results of String Theory in a non-technical language. It originates from the talks presented by the authors at the Electro-Weak session…
The past year has seen enormous progress in string theory. It has become clear that all of the different string theories are different limits of a single theory. Moreover, in certain limits, one obtains a new, eleven-dimensional structure…
Computations in the calculable small coupling regime of string theories and the general consensus that no new physics has to be invoked in continuing to the large coupling (black hole) regime, suggest the following picture. Quantum states…
The dominance of string theory in the research landscape of quantum gravity physics (despite any direct experimental evidence) can, I think, be justified in a variety of ways. Here I focus on an argument from mathematical fertility, broadly…
In this article, prepared for the book "The birth of string theory", I recall the sequence of ideas which led to non-critical strings and gauge/strings duality. I also comment on some promising future directions.
This talk considers possible lessons of string theory for low energy physics. These are of two types. First, assuming that string theory is the correct underlying theory of all interactions, we ask whether there are any generic predictions…
String theory has been the dominating research field in theoretical physics during the last decades. Despite the considerable time elapse, no new testable predictions have been derived by string theorists and it is understandable that…
There are at present two known string theories in $(2,2)$ dimensions. One of them is the well known $N=2$ string, and the other one is a more recently constructed $N=1$ spacetime supersymmetric string. They are both based on certain…
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…
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,…