以下为句子列表：
英文: For the decidable cases of arithmatical sentences, we give the upper and lower bounds of their computational complexity.
中文: 对具可决定性的算术句型，我们并给出了其计算繁度的上界与下界。
更详细...
英文: The paper also analyzes the undecidable propositionsin the conclusion of Godel's incompleteness theorem, and finds that they are often mistakenly explained in three ways: propositions whose truth are undistinguishable; propositions whose truth are uncerta
中文: 结论中的“不可判定”命题，现在有三种不同的错误解释：是非不可分辨的命题（三值）、是非可分辨但不确定的命题（二值）、除自指代命题之外的是非都不可证的其他命题，它们都不是哥德尔的证法所支持的结论。
更详细...
|
