Strings from Logic
Abstract
What are strings made of? The possibility is discussed that strings are purely mathematical objects, made of logical axioms. More precisely, proofs in simple logical calculi are represented by graphs that can be interpreted as the Feynman diagrams of certain largeN field theories. Each vertex represents an axiom. Strings arise, because these largeN theories are dual to string theories. These ``logical quantum field theories'' map theorems into the space of functions of two parameters: N and the coupling constant. Undecidable theorems might be related to nonperturbative field theory effects.
 Publication:

arXiv eprints
 Pub Date:
 November 2000
 arXiv:
 arXiv:hepth/0011065
 Bibcode:
 2000hep.th...11065S
 Keywords:

 High Energy Physics  Theory;
 Condensed Matter  Statistical Mechanics;
 General Relativity and Quantum Cosmology;
 Mathematical Physics;
 Mathematics  Logic;
 Physics  Computational Physics;
 Quantum Physics
 EPrint:
 Talk, 19 pp, 7 figures