术语“哥德尔定理”的详细信息
| 数据项 Items | 术语信息 Info. |
|---|---|
| 汉语术语编号 Term No. | 85000216 |
| 所属学科 Subject | 民族学 Ethnology |
| 汉语术语词性 POS | n. |
| 汉语术语分词 Segmentation | 哥/德/尔/定理/ |
| 汉语术语长度 Length | 4 |
| 关联术语表达 Association | |
| 搭配信息 Collocation | |
| 编纂人 Compiler | 王好信 |
| 编纂日期 Date of Compilation | 2015-07-11 00:00:00 |
汉英语境1
英译术语:
Godel's theorems
汉语语境:
知识论一直在寻求对知识的确定性作一般算法式的逻辑证明的辩护。然而，即使在处理抽象的数量概念的数学基础研究中，也不能达到最终逻辑证明的确定性。图灵对停机问题的算法步骤的否定回答，哥德尔定理对真理的“不可证明性”的确立，使我们不得不面对知识中逻辑证明背后不确定性的东西。
英语语境:
Epistemology keeps seeking for the certainty of knowledge in defense of logical algorithm. However, we cannot make a certainty of logical justification ever in the foundational mathematical researches concerning the abstract digital concepts. Tu Ling gave a negative answer to the algorithm steps about the problem of machine breaking down. Godel's theorems proved that truth is unprovable. All this makes us face uncertainty behind the logical justification.