话题
搜索

罗宾斯代数


基于亨廷顿(1933ab)的工作,罗宾斯推测罗宾斯代数的方程、交换性、结合性和罗宾斯公理

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

哪里!x个表示不是x与y表示,暗示那些用于布尔代数.这个猜想终于被证明了使用计算机(McCune 1997)。


另请参见

布尔代数,亨廷顿Axiom,罗宾斯猜想,罗宾斯公理,Winkler条件

与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页。亨廷顿,电动汽车。“布尔代数。修正。”事务处理。阿默尔。数学。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

主题分类