基于亨廷顿（1933ab）的工作，罗宾斯推测罗宾斯代数的方程、交换性、结合性和罗宾斯公理
哪里
表示不是和
表示或，暗示那些用于布尔代数.这个猜想终于被证明了使用计算机（McCune 1997）。
另请参见
布尔代数,亨廷顿公理,罗宾斯猜想,罗宾斯公理,温克勒条件
与Wolfram一起探索| Alpha
工具书类
Fitelson，B.“使用数学来理解罗宾斯猜想的计算机证明。"教育中的数学。物件。 7,17-26, 1998.http://library.wolfram.com/infocenter/Articles/1475/.《罗宾斯猜想的证明》http://library.wolfram.com/infocenter/MathSource/291/.亨廷顿，电动汽车。“逻辑代数的新独立假设集Whitehead和Russell的特别参考数学原理。"变速器。阿默尔。数学。Soc公司。 351933a年，第274-304页。亨廷顿，E.与。“布尔代数。修正。”变速器。阿默尔。数学。Soc公司。 35,557-5581933b年。Kolata，G.“计算机数学证明显示推理电源。"《纽约时报》1996年12月10日。McCune，W.“解决方案罗宾斯问题。"J.自动化。原因。 19, 263-276, 1997.麦库恩，“罗宾斯代数是布尔的。”网址：http://www.cs.unm.edu/~mccune/papers/robbins/.纳尔逊，E.“自动推理”http://www.math.princeton.edu/~nelson/ar.html.引用的关于Wolfram | Alpha
罗宾斯代数
引用如下：
埃里克·魏斯坦（Eric W.Weisstein）。“罗宾斯代数。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/RobbinsAlgebra.html
主题分类
