Talk:Robbins algebra

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
???	This article has not yet received a rating on the project's priority scale.

Computing: CompSci Low‑importance

This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles

Low

This article has been rated as Low-importance on the project's importance scale.

This article is supported by WikiProject Computer science (assessed as Low-importance).

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

As it stands the article doesn't make any sense. For example it gives the impression that a Robbins algebra only has the elements 0 and 1 although I'm sure that's not the intention. It would be nice if people who decided to write mathematical articles actually understood mathematics. 81.106.197.184 (talk) 03:11, 30 August 2008 (UTC)[reply]

I have made significant alterations and now I believe it's fine. On the other hand it doesn't seem to contain essentially different information than what can be found at the Boolean algebrasarticle so I wonder if it is justified to have this article. The only thing I can think off to try and justify this article is to add an outline of the proof. I will read the proof eventually and perhaps I will add the outline here. 81.106.197.184 (talk) 15:49, 17 November 2008 (UTC)[reply]

I have erased the mention of infix in the introduction because I didn't feel it was adding any useful information. One can see from the algebra link what the usual notation is and the notation is not part of the definition anyway. Finally the infix link was pointing to the wrong place.

I have erased mention of "dual" in the history section because it's not clear in what sense Robbins's axiom is a dual of Huntington's axiom. If dual is to be mentioned then it should either be explained in-place or a link given. By the way is it "Robbins's axiom" or "Robbins axiom" ?

Finally, I moved things around in the history section so that a precise description of what Huntington proved appears right after the claim that he proved something. Spiros Bousbouras (talk) 12:40, 17 June 2009 (UTC)[reply]

I've deleted the "proof" that was on this page as in several places it used double negation elimination which is not one of the axioms of a Robbins algebra. Proving that not(not x) = x in a Robbins algebra is in fact as difficult as proving the Robbins conjecture. Once you've proved it, you can derive Huntington's axiom by substituting a -> not(a) in Robbins's axiom and eliminating all the double negations. Nick8325 (talk) 19:05, 13 January 2016 (UTC)[reply]