Cargando…
Strings from Logic
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 large-N field theories. Each vertex repre...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2000
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/476541 |
| _version_ | 1780896667021606912 |
|---|---|
| author | Schmidhuber, Christof |
| author_facet | Schmidhuber, Christof |
| author_sort | Schmidhuber, Christof |
| collection | CERN |
| description | 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 large-N field theories. Each vertex represents an axiom. Strings arise, because these large-N 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. |
| id | cern-476541 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2000 |
| record_format | invenio |
| spelling | cern-4765412023-03-20T13:39:50Zhttp://cds.cern.ch/record/476541engSchmidhuber, ChristofStrings from LogicParticle Physics - TheoryWhat 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 large-N field theories. Each vertex represents an axiom. Strings arise, because these large-N 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.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 large-N field theories. Each vertex represents an axiom. Strings arise, because these large-N 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.hep-th/0011065CERN-TH-2000-316oai:cds.cern.ch:4765412000-11-09 |
| spellingShingle | Particle Physics - Theory Schmidhuber, Christof Strings from Logic |
| title | Strings from Logic |
| title_full | Strings from Logic |
| title_fullStr | Strings from Logic |
| title_full_unstemmed | Strings from Logic |
| title_short | Strings from Logic |
| title_sort | strings from logic |
| topic | Particle Physics - Theory |
| url | http://cds.cern.ch/record/476541 |
| work_keys_str_mv | AT schmidhuberchristof stringsfromlogic |