[论文解读] Strings from Logic

Christof Schmidhuber|arXiv (Cornell University)|Nov 9, 2000

Computational Physics and Python Applications参考文献 2被引用 5

一句话总结

本文提出，通过与弦理论对偶的大N量子场论，逻辑公理由可生成弦，其中简单逻辑演算中的证明以类似费曼图的图形式表示。定理被映射到由N和耦合常数参数化的空间，不可判定的定理可能与非微扰场论效应相关。

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 large{N eld theories. Each vertex represents an axiom. Strings arise, because these large{N are dual to string theories. These \logical quantum eld theories map theorems into the space of functions of two parameters: N and the coupling constant. Undecidable theorems might be related to nonperturbative eld theory eects.

研究动机与目标

• 探究弦是否可从根本上由逻辑公理而非物理实体构成。
• 探索大N量子场论与弦理论之间的对偶性，作为弦产生的机制。
• 将简单逻辑演算中的证明映射为类似费曼图的图形表示。
• 考察不可判定定理与量子场论中非微扰效应之间的关系。
• 通过数学对偶建立逻辑、量子场论与弦理论之间的正式框架。

提出的方法

• 将简单逻辑演算中的证明表示为图，其中顶点对应公理。
• 将这些图解释为大N量子场论中的费曼图。
• 利用类似AdS/CFT的对偶性，将大N场论与弦理论关联。
• 将定理映射到由两个参数（N（大N极限）和耦合常数）定义的函数空间中。
• 应用量子场论技术分析这些逻辑图的结构与行为。
• 利用对偶性将场论中的非微扰效应解释为对应于不可判定定理。

实验结果

研究问题

• RQ1 能否通过与大N量子场论的对偶性，从逻辑公理推导出弦？
• RQ2 简单逻辑系统中的证明如何映射到类似费曼图的图形结构？
• RQ3 大N极限在连接逻辑与弦理论中起什么作用？
• RQ4 不可判定定理是否可能作为量子场论中的非微扰效应被物理实现？
• RQ5 该框架中统一逻辑、量子场论与弦理论的数学结构是什么？

主要发现

• 弦作为大N量子场论与弦理论之间对偶性的结果而出现，源自逻辑公理。
• 表示逻辑演算中证明的图在对偶场论中被解释为费曼图。
• 定理被编码在由N和耦合常数定义的二维参数空间中。
• 不可判定定理可能对应于对偶场论中的非微扰效应。
• 该框架通过双重性在数学逻辑与量子场论/弦理论之间建立了正式桥梁。
• 该模型表明，逻辑证明的结构可通过量子场论动力学实现物理化。