Robbins Conjecture
المؤلف:
Kolata, G
المصدر:
"Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.
الجزء والصفحة:
...
9-2-2022
999
Robbins Conjecture
The conjecture that the equations for a Robbins algebra, commutativity, associativity, and the Robbins axiom
where 
denotes NOT and 
denotes OR, imply those for a Boolean algebra. The conjecture was finally proven using a computer (McCune 1997).
REFERENCES
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/.
الاكثر قراءة في المنطق
اخر الاخبار
اخبار العتبة العباسية المقدسة
