_{数学定理证明器自动证明Robbin猜想难题}

回顾历史，威廉.麦昆 (_{William McCune，1953 -2011）“proved the conjecture（Robbin猜想） in 1996, using the automated theorem prover （自动定理证明器）EQP.”}

_{什么是Robbin猜想？1933年，数学家Robbin提出一个猜想：Robbin代数必定是布尔代数。多年来，数学家们,包括大数学家塔尔斯基，都没有解决这个问题。}

                    _{最后，数学定理证明器解决了这个难题。这是历史的进步！‘’}

_{袁萌  3月22日}

_{数学定理证明器自动证明Robbin猜想难题}

回顾历史，威廉.麦昆 (_{William McCune，1953 -2011）“proved the conjecture（Robbin猜想） in 1996, using the automated theorem prover （自动定理证明器）EQP.”}

_{什么是Robbin猜想？1933年，数学家Robbin提出一个猜想：Robbin代数必定是布尔代数。多年来，数学家们,包括大数学家塔尔斯基，都没有解决这个问题。}

                    _{最后，数学定理证明器解决了这个难题。这是历史的进步！‘’}

_{袁萌  3月22日}