物理学 > 物理的历史与哲学
[提交于 2023年11月7日
]
标题: 预几何学,形式语言和物理学的构造论基础
标题: Pregeometry, Formal Language and Constructivist Foundations of Physics
摘要: 如何形式化物理学基础所需的结构的结构? 本文试图概念化前几何结构的形而上学,新旧量子几何概念可能在此基础上找到根基。 我们讨论惠勒和莱布尼茨提出的前几何结构的哲学,以及现代拓扑理论中的表现形式。 我们注意到证据表明,形式语言的框架,特别是同伦类型论,提供了前几何理论的概念构建模块。 本文主要是对服务于物理理论中空间概念化的想法的综合。 特别是,我们所主张的方法基于一种建构主义哲学,在这种哲学中,“无结构的结构”是实现形式证明和程序的语法类型。 与物理理论相关的空间和代数被建模为由形式语言的构成规则构造的类型论过程。 这提供了使用共同理论框架对不同的几何概念进行分类的非凡可能性。 特别是,这种观点解决了关键问题,即在将形式计算与物理学联系起来的模型中,如沃尔夫拉姆模型,如何实现空间性。
当前浏览上下文:
physics.hist-ph
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.