它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
由于他的著名的关于宇宙的可计算性大胆预言，Seth Lloyd博士是一个认为我们生活在一个巨大的量子计算机的俱乐部的成员。
Famous for his bold predictions about the computational capacity of the universe, Dr. Lloyd belongs to the club that thinks that we live inside of a gigantic quantum computer.
下面的表格指出了在可计算性和复杂性理论应当考虑的一些种类的问题。
The following table shows some of the classes of problems that are considered in computability theory and complexity theory.
应用推荐