释
海廷代数
hǎi tíng dài shù · ㄏㄞˇ ㄊㄧㄥˊ ㄉㄞˋ ㄕㄨˋ
修撰于 2026-06-30 13:35:00
音义
| 拼音 | hǎi tíng dài shù |
|---|---|
| 字母 | hai ting dai shu |
| 首字母 | htds |
| 注音 | ㄏㄞˇ ㄊㄧㄥˊ ㄉㄞˋ ㄕㄨˋ |
| 注音符号 | ㄏㄞ ㄊㄧㄥ ㄉㄞ ㄕㄨ |
广训
在数学里，海廷代数是一特殊的偏序集，经由广义化布尔代数而成，得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的，是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。