文件名称：使用强类型的 Actor 阻止成功的反击-研究论文
文件大小：892KB
文件格式：PDF
更新时间：2024-06-29 08:45:29
Monsters Euclid
网络攻击已成为一个非常严重的问题，对经济、社会发展和安全造成不可估量的损害。 与防御物理攻击相比，防止网络攻击成功具有先天优势，因为网络攻击者能做的最糟糕的事情就是发送信息。 本文概述了使用强类型 Actor 防御网络攻击。智能系统的特点是通过可教育、实时自适应和自我信息的系统将经验信息集成到密切的人类交互中（参见 [佩里 2012]）。 智能系统将使网络攻击能够造成比已经造成的更大的经济、政治和社会损害。 基础网络攻击是通过互联网攻击系统获取和使用信息的基础。“定理是可枚举的”一直是数学基础中的中心定理。 基于定理可枚举性，Alonzo Church 发现了当前计算理论中的一个错误，他没有找到修复的方法 [Church 1934]。 该漏洞开启了可能的网络攻击，可以使用基于“参与者”的更强大的计算理论来阻止，如本文所述。 使用非确定性图灵机无法执行的多核计算，可能会对智能系统进行其他基础网络攻击。 因此，此类计算超出了 Church/Turing 计算理论的适用范围，因此需要使用基于 Actors 的更强大的理论。 本文推荐的技术和实践可以防止许多基础网络攻击。 这十年智能系统的发展和普遍部署将给网络防御带来巨大的新挑战，因为基础理论需要既强大又灵活，它们正处于不一致的边缘。 因此，必须使用强大的技术手段来保护它们。 建立基础很困难，因为可能的替代方案之间的相互作用可能是模糊的，并且无法从数学上证明采用哪种系统。 与麦昆相反，基本规则不会被拆除。 相反，它们必须经过精心改造。 “怪物”是 [Lakatos 1976] 中引入的一个术语，用于表示引入不一致和悖论的数学结构。 Euclid、Richard Dedekind、Gottlob Frege、Bertrand Russell、Kurt Gödel、Ludwig Wittgenstein、Alonzo Church、Alan Turing 和 Stanisław Jaśkowski 都遇到过本文中讨论的数学怪物问题。 怪物可以潜伏很久不被发现。 例如，“定理是可证明计算可枚举的”[欧几里得大约公元前 300 年] 是一个怪物，直到数千年后 [Church 1934] 用它来识别本文解决的数学基础中的基本不一致。欧几里德， Richard Dedekind、Gottlob Frege、Bertrand Russell、Kurt Gödel、Ludwig Wittgenstein、Alonzo Church、Alan Turing 和 Stanisław Jaśkowski 都遇到过本文中讨论的数学怪物问题。 这篇文章解释了 Actors 和 Ordinals 理论如何在不限制数学能力的情况下重塑经典基础。 Euclid、Richard Dedekind、Gottlob Frege、Bertrand Russell、Kurt Gödel、Ludwig Wittgenstein、Alonzo Church、Alan Turing 和 Stanisław Jaśkowski 都对数学怪物有问题，如本文中讨论。 除了需要新机器的早期工作之外，计算机科学为基金会带来了新的关注和考虑。 本文解释了 Actors 和 Ordinals 理论如何在不限制数学能力的情况下重塑经典基础。“Monster”是 [Lakatos 1976] 中引入的一个术语，用于引入不一致和悖论的数学结构。 从一开始，怪物就在基金会中流行。 他们可以潜伏很长时间未被发现。 例如，“定理是可证明的计算可枚举的”[欧几里得大约公元前 300 年] 是一个怪物，直到数千年后 [Church 1934] 用它来识别基本 Hilbert 相信每个命题都是可证明的或可证伪的每个数学命题是，那是可推理判定的 [Hilbert 1930]。 其他人则怀疑推论的可判定性。 这意味着可以通过算法来决定一个命题是否是定理。 [Gödel 1931] 似乎使用 I'mUnprovable 命题解决了推论不可判定性的问题。 相反 [Gödel 1931]，维特根斯坦很快就正确地证明了 ImUnprovable 的存在会导致基础的不一致。 他的证明被忽视，随后被哥德尔嘲笑。 ImUnprovable 命题与基础定理不一致，包括“一个定理可以用于后续证明”和“一个证明可以被证明是一个证明”。 用于构造 ImUnprovable 的方法是无效的，因为它违反了对命题顺序的限制。 ImUnprovable 命题的不存在激发了对基础推论不可判定性证明的搜索。Church/Turing 论文是非确定性图灵机可以执行任何计算。 该论文自 1936 年以来一直是压倒性的共识。然而，该论文是错误的，因为存在不确定性图灵机无法执行的数字计算。Church/