术语“最小必要完备性”的详细信息
| 数据项 Items | 术语信息 Info. |
|---|---|
| 汉语术语编号 Term No. | 91000469 |
| 所属学科 Subject | 统计学 Statistics |
| 汉语术语词性 POS | n. |
| 汉语术语分词 Segmentation | 最小/必要/完备/性/ |
| 汉语术语长度 Length | 4 |
| 关联术语表达 Association | |
| 搭配信息 Collocation | |
| 编纂人 Compiler | 郭华萍 |
| 编纂日期 Date of Compilation | 2016-01-20 00:00:00 |
汉英语境1
英译术语:
minimal essential completeness
汉语语境:
在数理逻辑(en:mathematical logic中），一个理论(theory）被称为完备的，如果对于其语言（language）中的任何一个句子（sentence)S，这个理论包括且仅包括S或S之逆。一个系统是兼容的，如果不存在同时P和非P的证明。哥德尔不完备定理证明了，包含皮亚诺公理(Peano axioms）的所有公理系统都是不可能既完备又相容的。下面还有一些逻辑中关于完备性的定义。
英语语境:
In mathematical logic (en:mathematical logic), a theory is said to complete if this theory includes and includes only s or s inverse. A system is compatible if there is no simultaneous P and non P proofs. Godel's incompleteness theorem, Peano axioms Peano use all the axioms system contains which cannot be both complete and consistent. There are some definitions of completeness in logic.