译制中的发现：哈德策计划的极限
逻辑
2025-11-05 v1
摘要
本文旨在提供对当我们说一对理论（广义地论解为理论）在于它们可互可定义的意义上的等价性的分析。对于以一阶逻辑表述的理论，我们已有一个自然且众所周知的工具来处理这个问题：基于翻译的理论可解释性理论。然而，许多重要的科学理论和数学理论（特别是物理学中的理论）是精确表述的，但并不自然地以一阶逻辑或任何显而易见的语言表述。在本文中，我们计划推广普通解释理论，以容纳此类理论，提出一种观点，即可定义性并不意味着相对于特定结构的可定义性，而是指在数学语言中的无保留可定义性。
引用
@article{arxiv.2511.02011,
title = {Found in Translation: at the limits of the Hudetz program},
author = {Toby Meadows},
journal= {arXiv preprint arXiv:2511.02011},
year = {2025}
}