रॉबिन्स बीजगणित

अमूर्त बीजगणित में, रॉबिंस बीजगणित सार्वभौमिक बीजगणित # मूल विचार है जिसमें एकल बाइनरी ऑपरेशन होता है, जिसे आमतौर पर द्वारा दर्शाया जाता है $$\lor$$, और एकल यूनरी ऑपरेशन आमतौर पर द्वारा दर्शाया जाता है $$\neg$$. ये ऑपरेशन निम्नलिखित सार्वभौमिक बीजगणित#समीकरण को संतुष्ट करते हैं:

सभी तत्वों ए, बी और सी के लिए: कई वर्षों तक, यह अनुमान लगाया गया था, लेकिन अप्रमाणित, कि सभी रॉबिन्स बीजगणित बूलियन बीजगणित (संरचना) हैं। यह 1996 में सिद्ध हो गया था, इसलिए रॉबिन्स बीजगणित शब्द अब केवल बूलियन बीजगणित का पर्याय बन गया है।
 * 1) सहयोगिता: $$a \lor \left(b \lor c \right) = \left(a \lor b \right) \lor c$$
 * 2) परिवर्तनशीलता: $$a \lor b = b \lor a$$
 * 3) रॉबिन्स समीकरण: $$\neg \left( \neg \left(a \lor b \right) \lor \neg \left(a \lor \neg b \right) \right) = a$$

इतिहास
1933 में, एडवर्ड हटिंगटन  ने बूलियन बीजगणित के लिए स्वयंसिद्धों का नया सेट प्रस्तावित किया, जिसमें उपरोक्त (1) और (2) के अलावा: इन स्वयंसिद्धों से, हंटिंगटन ने बूलियन बीजगणित के सामान्य स्वयंसिद्धों को प्राप्त किया।
 * हंटिंगटन का समीकरण: $$\neg(\neg a \lor b) \lor \neg(\neg a \lor \neg b) = a.$$

इसके तुरंत बाद, हर्बर्ट रॉबिंस ने रॉबिंस अनुमान प्रस्तुत किया, अर्थात् हंटिंगटन समीकरण को रॉबिन्स समीकरण कहे जाने वाले समीकरण से बदला जा सकता है, और परिणाम अभी भी बूलियन बीजगणित (संरचना) होगा। $$\lor$$ बूलियन बूलियन बीजगणित (संरचना)#परिभाषा और की व्याख्या करेगा $$\neg$$ बूलियन बूलियन बीजगणित (संरचना)#परिभाषा। बूलियन बूलियन बीजगणित (संरचना)#परिभाषा और स्थिरांक 0 और 1 को रॉबिन्स बीजगणित आदिम से आसानी से परिभाषित किया जाता है। अनुमान के सत्यापन तक, रॉबिन्स की प्रणाली को रॉबिन्स बीजगणित कहा गया।

रॉबिंस अनुमान को सत्यापित करने के लिए हंटिंगटन के समीकरण, या बूलियन बीजगणित के कुछ अन्य स्वयंसिद्धीकरण को रॉबिंस बीजगणित के प्रमेय के रूप में साबित करना आवश्यक है। हंटिंगटन, रॉबिंस, अल्फ्रेड टार्स्की और अन्य लोगों ने समस्या पर काम किया, लेकिन कोई प्रमाण या प्रति-उदाहरण खोजने में असफल रहे।

विलियम मैकक्यून ने 1996 में समीकरणात्मक कहावत सिद्ध करने वाले स्वचालित प्रमेय का उपयोग करके अनुमान को सिद्ध किया। सुसंगत संकेतन में रॉबिन्स अनुमान के पूर्ण प्रमाण के लिए और मैकक्यून का बारीकी से अनुसरण करने के लिए, मान (2003) देखें। डाहन (1998) ने मैकक्यून के मशीन प्रूफ को सरल बनाया।

यह भी देखें

 * बीजगणितीय संरचना
 * बूलियन बीजगणित के लिए न्यूनतम स्वयंसिद्ध

संदर्भ

 * Dahn, B. I. (1998) Abstract to "Robbins Algebras Are Boolean: A Revision of McCune's Computer-Generated Solution of Robbins Problem," Journal of Algebra 208(2): 526–32.
 * Mann, Allen (2003) "A Complete Proof of the Robbins Conjecture."
 * William McCune, "Robbins Algebras Are Boolean," With links to proofs and other papers.