海廷代数是什么意思?
再说说「海廷代数」有什么含义、怎么理解?
拼音hǎi tíng dài shù
字母hai ting dai shu
首字母htds
注音ㄏㄞˇ ㄊㄧㄥˊ ㄉㄞˋ ㄕㄨˋ
注音符号ㄏㄞ ㄊㄧㄥ ㄉㄞ ㄕㄨ
在数学里,海廷代数是一特殊的偏序集,经由广义化布尔代数而成,得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的,是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。
再说说「海廷代数」有什么含义、怎么理解?
在数学里,海廷代数是一特殊的偏序集,经由广义化布尔代数而成,得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的,是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。