...3 学分 形上学(Metaphysics) 3 学分 集合论(Set Theory) 3 学分 后设逻辑(Metalogic) 3 学分 计算理论(Theory of Computability) 3 学分 语言哲学(Philosophy of Language) 3 学分 科学哲学(Philosophy of Science) 3 学分 人工智能哲学(Philosophy of Artifi...
基于1个网页-相关网页
The traditional theory of computability is based on Turing machines.
传统的可计算性理论以图灵机为基础模型。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
Computability theory examines the limitations of various theoretical models of the computer, including the most powerful known model - the Turing machine.
可计算性理论探讨了计算机的各种理论模型的局限性，包括已知的最强大的模式，-图灵机。
应用推荐