术语“确定性”的详细信息

英译术语:

Certainty

汉语语境:

知识论一直在寻求对知识的确定性作一般算法式的逻辑证明的辩护。然而，即使在处理抽象的数量概念的数学基础研究中，也不能达到最终逻辑证明的确定性。图灵对停机问题的算法步骤的否定回答、哥德尔定理对真理的“不可证明性”的确立，使我们不得不面对知识中逻辑证明背后不确定性的东西。

英语语境:

In the sphere of epistemological studies, there has always been a seeking for the certainty of knowledge in defense of the logical proof. However, the certainty of the logical proof itself cannot be reached even in the very field of mathematics where abstractness and quantities are the main object. Both Turing's negative answer to the halting problem and Godel′s theorem about the unprovability of truth provide us with the uncertainty behind the logical proof in epistemology.