Corpus ID: 18860160

Strings from Logic

@article{Schmidhuber2000StringsFL,
  title={Strings from Logic},
  author={C. Schmidhuber},
  journal={arXiv: High Energy Physics - Theory},
  year={2000}
}
  • C. Schmidhuber
  • Published 2000
  • Physics, Mathematics
  • arXiv: High Energy Physics - Theory
  • 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 eld theories. Each vertex represents an axiom. Strings arise, because these large{N theories are dual to string theories. These \logical quantum eld theories" map theorems into the space of functions of two parameters: N and the… CONTINUE READING
    10 Citations

    Figures from this paper.

    The Fastest Way of Computing All Universes
    • 5
    • PDF
    Computer Theorem Proving in Mathematics
    • 13
    • PDF
    Algorithmic Theories of Everything
    • 86
    • PDF
    The Speed Prior: A New Simplicity Measure Yielding Near-Optimal Computable Predictions
    • 70
    • PDF
    The new AI is general and mathematically rigorous
    • 1
    The New AI: General & Sound & Relevant for Physics
    • J. Schmidhuber
    • Computer Science, Physics
    • Artificial General Intelligence
    • 2007
    • 21
    • PDF
    Computer theorem proving in math
    • 7
    • PDF
    The New AI is General & Mathematically Rigorous

    References

    SHOWING 1-10 OF 27 REFERENCES
    Principia Mathematica
    • 373
    • PDF
    Foundations of computer science : potential--theory--cognition
    • 63
    • Highly Influential
    Annals Phys
    • 270, 1
    • 1998
    Commun
    • Math. Phys. 59, 35
    • 1978
    Commun
    • Math. Phys. 59, 35
    • 1978
    Commun
    • Math. Phys. 121, 351
    • 1989
    Commun. Math. Phys
    • Commun. Math. Phys
    • 1978
    Commun. Math. Phys
    • Commun. Math. Phys
    • 1989
    D . Gross and A . Migdal
    • Principia mathematica ”
    • 1989
    Infinity and the Mind
    • 109