主题
Search

罗宾斯猜想


罗宾斯代数的方程、交换律、结合律和罗宾斯公理的猜想

 !(!(x v y) v !(x v !y))=x,

其中 !x 表示 ,并且 x v y 表示 ,蕴含了布尔代数的方程。该猜想最终通过计算机证明 (McCune 1997)。


参见

布尔代数, 罗宾斯代数, 罗宾斯公理

使用 Wolfram|Alpha 探索

参考文献

Kolata, G. "Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.McCune, W. "Solution of the Robbins Problem." J. Automat. Reason. 19, 263-276, 1997.McCune, W. "Robbins Algebras Are Boolean." http://www.cs.unm.edu/~mccune/papers/robbins/.

在 Wolfram|Alpha 中被引用

罗宾斯猜想

引用为

Weisstein, Eric W. "罗宾斯猜想。" 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/RobbinsConjecture.html

主题分类