Talk:Boolean algebra/Archive 3

1225:"Let us conceive, then, of an Algebra in which the symbols x, y, z, &c. admit indifferently of the values 0 and 1, and of these values alone. The laws, the axioms, and the processes, of such an Algebra will be identical in their whole extent with the laws, the axioms, and the processes of an Algebra of Logic. Difference of interpretation will alone divide them. Upon this principal the method of the following work is established." The intent of the Values section was to capture in less flowery language what Boole is saying there: the variables of Boolean algebra might be valued as sets, as Boole considers elsewhere in the book, or something else, but the laws will be the same as when the values are 0 and 1. The Values section does this in its second paragraph. If you feel that Boole expressed this more clearly than the Values section currently does I'd be happy to word it closer to what Boole wrote, or something more in accord with what you feel should be said in the first section concerning the values that Boolean variables can take on. Perhaps the two paragraphs of the Values section could be interchanged so it begins by saying that variables are valued in Boolean algebras, and then talks about why {0,1} plays the large role it does in the subject of Boolean algebras (but look at Monk's article again---he starts with two values and goes from there). Incidentally the notion of value of a variable does not come from computer science, it's been used in algebra for centuries and long predates 3449:

proposal and that you're asking, I guess, is how do we motivate the definition of Boolean algebra(s), i.e. what are we trying to model with Boolean algebra(s)? I think we can say that the primary motivation is to modelize propositional logic. Then we can start having different points of view. We can think Platonistically and say that formulas are either true or false. This allows to justify the operations of Boolean algebra as a set of operations that is complete for describing all n-ary functions over true and false, and, in a second step, to justify the equational theory as a minimal set of equations needed to equate all syntactically-different algebraic representatives of a given n-ary function. Alternatively, we can think algebraically (i.e. without mentioning values at all) and take the connectives and the lattice order as granted (the lattice order is p⊢q where ⊢ is some system of proof e.g. sequent calculus). Then, the equations come as a characterization of the relation p⊢q and q⊢p. The advantage of the algebraic point of view is that it applies directly to non-classical logic, say intuitionistic logic, by considering instead

1768:

is common to both the mass-noun and the count-noun. You can't have either without the operations ∧ ∨ ¬, which are common to both. Furthermore you can't have either without the Boolean laws, regardless of whether presented as the tautologies or as the axioms of a complemented distributive lattice, which are also common to both. Those connections alone would already serve Knowledge readers much better than a dab page, and they can be developed much further in the same page while continuing to be about both the mass-noun and the count-noun at the same time. A dab page can't do that; instead it forces those connections to be repeated in the two articles it points to. Is repeating those connections instead of putting them in a single article treating the mass-noun and the count-noun at the same time worth whatever is gained by a dab page? I just don't see any gain comparable to avoiding this repetition, which has the further downside of making Knowledge look amateurish---people will ask why we didn't think to combine the overlapped material into one place.

1203:

two-element Boolean algebra (as the only member of a singleton class). Your syntactic presentation is not a single sentence, it is a list of ten equations which you say is complete in the sense that it proves all tautologies. But if tautologies are the criterion for what you're willing to allow as the laws of Boolean algebra then wouldn't it be a lot simpler to take the laws to be the tautologies themselves, rather than writing down equations until you can show you have enough to prove every tautology? This avoids the long list, completeness becomes a triviality, and questions about why that axiomatization in particular and not something shorter don't come up. But as I said I didn't take sides on that and am not suggesting you change your definition since it is common practice even today to define a Boolean algebra to be a complemented distributive lattice (though I am looking forward to the day when people start to consider it an outmoded superstition).

199:

same subject, and if both the theory and the models happen to have the same name then that is not an ambiguity in the usual sense of the word, it is a reflection of the fact that the models are the models of the theory and that theory is the theory of those models. There should be a single article under that name that defines both the theory and its models as aspects of the same subject, develops both as appropriate for that article, and provides hatnotes and main-article links to related material appearing in other pages, including the separate articles that all of us agree are warranted. Given that you have to define the theory to define the model anyway, it seems weird to be putting the theory in one page while defining the models in terms of that theory in another page, and then creating the misleading impression that the two articles are unrelated in the sense understood at

3453:. It also scales easily to predicate logic, where we can take countable ∨ and ∧. (Whether the Platonistic point of view scales easily to predicate logic is unclear to me but you probably know this problematic quite well.). Then, I have nothing against talking about the two-element domain of course. What I would find biased is to commit to a view that reduces the study of Boolean algebra(s) to a study of the two-element Boolean algebra. So, this is still rough but I would typically suggest sentences like "Boolean algebra emerged as a model of equational reasoning over propositional logic. Its most common and motivating interpretation is as a two-value model with values true and false, but its scope extends in practice further, for instance as a model of reasoning over the fields of set, where it gets similar to the 717:

don't understand why "linear algebra" and "vector spaces" need distinct articles given that they're about the same thing. Had the vector space article not mentioned linear transformations I could see room for difference, but it has a section on it. The operations of a vector space are linear combinations, and the associated subject uses the same operations. Furthermore the same laws govern both. If that's a "genuine ambiguity" then the same reasoning would justify a huge proliferation of dab pages, since one can point to lots of distinct concepts in every article. If they're unrelated concepts then a dab page is warranted, but if they're simply aspects of the same topic, in this case sharing the same operations and the same laws, I don't see how that's in the spirit of . --

3516:

satisfy). Correct me if I'm wrong, Hugh, but I believe your notion of completeness of these laws is that B2 is a subset of BA, that is, every law holding of the two-element algebra holds of every Boolean algebra, however you're defining that notion (presumably as the class of models of the ten equations). If that weren't the case, some tautology of propositional calculus would be neither a syntactic nor a semantic consequence of the ten equations, in which case the propositional calculus motivation for BA would vanish because it would then be weaker than B2. But requiring BA to be the whole of B2 is an admission that the two-element Boolean algebra is the standard by which Boolean algebra axiomatizations are to be judged.

1850:

algebraic structure satisfying the laws of Boolean algebra, this is sufficient to justify treating "Boolean algebra" as a primary topic with its own article (for which suitable candidates already exist), independently of whether there are additional articles separately on each of the structures and the laws (for which suitable candidates also already exist). When Trovatore is satisfied that he has the strongest case he can make, and remains convinced in the face of the counterarguments that a dab page is the best way of serving Knowledge readers looking up "Boolean algebra," at that point we may be ready to declare a complete stalemate and solicit opinions from those with more experience in interpreting

1570:

have an equivalent definition as the equations holding of all Boolean algebras, i.e. each defines the other. One would only consider the connection last if it were merely a coincidence that these two concepts have the same name. If you were a marriage counselor instead of a mathematician you'd be judged a marriage wrecker by your fellow counselors, you're trying to force a dab page by denying all logical reasons to group Boolean algebras and Boolean algebra together when they define each other. Why are you so intent on there being a dab page when there are excellent reasons for a single article treating the clear connection between these two subjects? I just don't get it. --

2850:

an article that defines both the algebra and the structures in a single paragraph that also introduces the operations and the laws. Both are given as links to the main articles serving them, exactly as in a dab page. Making the connection between the two concepts is better than a plain dab page because it provides the same two links that the dab page would, but explains the similarities and differences between the two concepts so that readers who start out not knowing which meaning of "Boolean algebra" they wanted (having no familiarity with the concept) have more of a basis for making the right choice than a dab page would have offered them.

1831:, to varying degrees, of articles related to this area. But as I see it, the crux of the issue is that we have not been able to reach agreement on identifying the primary audience of an introductory and elementary article (or the introductory and elementary part of a more comprehensive article) on "Boolean algebra". Are they "engineers who need to learn about this"? Or should we primarily aim at "a member of the 'general public', not being a member of any of the more special groups interested in Boolean logic"? Or can both audiences be served by one introductory article? 1187:

One difference from more conventional axiom systems is that axiom scheme A1 denotes an infinite set of equations, exactly one for every Boolean operation. Another difference is that the terms on the right hand side of the equation need a little decoding in order to express them as conventional terms. Other than those two things, yes the infinitely many instances of A1 constitute an (infinite) axiom system just like the others (and R1-R3 are common to all equational axiom systems and hence could be omitted as implicit). And yes one

2641:(ec)I agree with Lambiam about this. During my research for the BA task force I realised that the majority of books on Boolean algebra(s) isn't just about Boolean algebra in the sense of Boolean logic, but moreover it is explicitly directed to engineers. I think mathematicians are by far overrepresented among Knowledge editors, and engineers are by far underrepresented, at least relative to each other. Or if they edit, I guess most of them edit topics unrelated to work and certainly not related to the foundations of their field. 3345:

structures to take priority while Lambiam wanted the subject to take priority. Your present idea of a "compromise" seems to be to capitulate completely and let the subject take priority by being the primary topic of the article "Boolean algebra." I was proposing something closer to your dab page concept that made the two topics equal while meeting the concerns Hans and I are raising about dab pages being confusing for newcomers, especially those who don't already understand the distinction between a theory and its models. --

1254:

as long as Trovatore continues to insist that the only reasonable way to distinguish the subject of Boolean algebra from Boolean algebras is a dab page. His argument as far as I've been able to understand it is that "Boolean algebra" as a theory is so different from "Boolean algebra" as an object that they're not aspects of a single topic but different topics. But since even Trovatore agrees that a Boolean algebra is just a model of the theory, it's hard to imagine the editors who formulated the criteria in

2604:

non-trivial Boolean algebra and let p = q be any true equation of A over ∧, ∨, ¬, 0, 1, x1, ... ,xn. There is no doubt that p = q is equivalent by equational reasoning to r = 1 where r is ¬p∨q ∧ p∨¬q. Let's reason by induction on n. If there is no variable, then, because 0∧0 = 1∧0 = 0∧1 = 0∨0 = ¬1 = 0 and 1∧1 = 1∨1 = 1∨0 = 0∨1 = ¬0 = 1 holds in any algebra, r is equationally provable to either 0 or 1, and since the algebra is non-trivial and the equation true, r is provably equal to 1. Now, if n: -->

31: 2080:

algebra has a special position. Specifically, if you restrict yourself to only considering equations of two Boolean terms (built from variables and the operations and constants of the algebra, nothing else), then such an equation follows from the Boolean axioms precisely when it holds universally in the two-valued model. Moreover, no other such equations hold in any other non-trivial model. (In the trivial one-point model, 0 = 1 and all other equations hold.) See

2790:. In the lead paragraph I proposed above, the operations and laws are defined and then "a Boolean algebra" is defined. If "a Boolean algebra" is what the reader wanted, they'll see that and the link in the first paragraph, click on that link, and in the same number of clicks as with a dab page they'll be where Trovatore wants them to be. Everyone else will learn what Boolean algebra is as a subject, and will also learn that there is such a thing as 149:, which treats values (certainly not formalist), operations (formalist only when their interpretation is ignored, which the article certainly does not do), laws (formalist when they are defined syntactically but not when defined semantically---the article gives equal time to both), and models (certainly not formalist, being the promised expansion of the section on values). Only if Trovatore persists with his strawman argument should an 3100:, (3) that it should be reasonably easy to navigate to such material for readers who come to the subject through a different entry point, but (4) that not all material should be included equally in all articles. Usually, we can solve such things by the usual Wikiprocess of gradually improving the articles. For Boolean algebra(s), however, that doesn't work because there is a mess of overlapping articles for which we can't even agree 2245:

and then realize they wanted the other, and 33% will want to understand both meanings before they can decide which one is what they really had in mind and therefore will need to try both (some of whom may turn out to just be interested in the complete story of both Boolean algebra and Boolean algebras). The latter two cases have to visit both links, which my arithmetic makes out to be 33% + 33% = 67%.

1047:-basis makes that all axioms are uniformly described by a single scheme (A1) what makes this particular pair (basis,axioms) remarkable. Moreover it emphasizes the ability to adopt a very abstract approach for defining Boolean algebra what makes this pair (basis,axioms) twice remarkable. But from the point of view of defining Boolean algebras, isn't it just a pair (basis,axioms) among the others? 3952:, but proliferation of articles with an unacceptable degree of overlap. If there were some requirement that n-valued logic be treated with exactly n articles I could understand Boolean algebra having to be treated with exactly two, but the other reasons for requiring this make even less sense. This two-article requirement is just another of Trovatore's many strawman arguments. -- 3417:, with "ring" and "canonically" merged into it (and cut down). I'm not saying the current one is in very good shape. But "canonically" spends too much time on definitions, and "ring" is again different mainly in the signature. I'd rather give a definition, not worry too much about whether it's the best, and get quickly into structural rather than logical issues. -- 974:

immediately follow the section on completeness of a set of laws, which is the first point in that article or any other article on the topic where it is possible to define Boolean algebras. Even if one were to view the whole point of the primary topic as being solely to define the concept of Boolean algebra, that definition cannot come any earlier than

2606:

the algebra, one obtains that the equation r₁=1 is true. By recursion, we can turn these equations into equational proofs of r₁=1 and r₂=1. It remains to build a proof of x₁∨r₁ ∧ ¬x₁∨r₂ = 1 from proofs of r₁=1 and r₂=1. I guess that you will agree that equational reasoning is provably compatible with the operations and that this last step is possible.

811:. Just as modules over the ring Z can be identified with abelian groups, so can modules over the ring Z/2Z expanded with the constant 1 be identified with Boolean algebras, and the two-element Boolean algebra is central to the subject in many other ways as well, mathematically, pedagogically, and computationally. -- 3803:

Now, on the question of what the name "Boolean algebra" should link to, my position is more complex. Having a "cold", "soulless" disambiguation page as the current one is, is not very satisfactory in my view, because algebra and algebras have much more to say on what they share than just being listed

3641:

What I'm saying is that the set of laws that hold of any Boolean algebra is the same as the set of laws that hold of any other Boolen algebra. I have no need to define the Boolean laws to be the set of laws that hold of all Boolean algebras (what Vaughan calls BA a few comments above). I just need to

3519:

This is just one of several central roles played by this important Boolean algebra. Since it is by far the easiest Boolean algebra to understand, talking about all Boolean algebras before talking about that one is not well motivated either pedagogically (it's the simplest possible example and easily

2849:

I fully agree with Hans. And I would go even further: equality is what I'm proposing, in case that's a real concern. When defining either Boolean algebra as a subject or Boolean algebras as structures, one must first talk about Boolean operations, and then about Boolean laws. What I'm proposing is

2836:

And overall, Knowledge doesn't have a consistent structure so that when you know all the articles in one topic you can guess the organisation of articles in a similar topic. To a large extent our organisation depends on accidents of language. That's one reason why different language versions organise

2832:

I really don't understand what you are trying to achieve. Mathematicians are not going to be confused, ever, so long as what we come up with remotely makes sense. It's everybody else who are going to be terribly confused if they look for "Boolean algebra" and find an article that only makes sense for

2277:

No, because there is no dab page where a reader has to pick at random. Someone who wants to learn about linear algebra will be told by that article. Someone who wants to learn about vector spaces will be told by that article. Someone who wants to learn about "Boolean algebra" in the absence of the

2240:

So what I would propose is an expansion of Trovatore's proposed dab page with enough information about the common elements of "Boolean algebra" and "Boolean algebras" to permit a first-time Knowledge visitor to the subject to get enough of an idea of what the subject is about in order to decide which

2118:

says that the two-element algebra is protypical. But the same reasoning could be done from (2) too which would lead to the statement that the algebra of subset of a given set is prototypical too. So, something is wrong here (by the way, the paragraph "This observation is easily proved as follows ..."

2110:

Since, indeed, to say that another such equation holds in some other non-trivial model, you would have to consider equations that refer to objects that are not part of the theory you're talking about (for instance, on the subsets of {1,2,3}, you have the non-derivable equation {1,2} ∩ {2,3} = {2} but

2039:

So, isn't there a place for a fourth alternative which is having as primary topic neither the two-element calculus, nor the structures, but a true page about Boolean algebra in general? (in particular, it is not made clear in the rfc proposal if the case "primary meaning of a calculus" means "primary

1767:

This connection is obscured by making a dab page to one article on Boolean algebra and a separate article on Boolean algebras. Such a dab page would imply that the two concepts have too little in common to make them the subject of a common page making the point italicized above. In fact quite a lot

1417:

If you can't see the difference between a vector space and linear algebra, I don't know if I can help you. I hope other people see it. Your position looks ideological to me. Some sort of Mac Lane/Lawvere kind of thing maybe? I haven't really read either of them enough to know whether that's close

1401:

I am unable to see any rational basis for the separation into two subjects that Trovatore is arguing for. In Trovatore's mind Boolean algebra is two subjects, in my mind it is one. Trovatore, please explain what fundamental distinction makes it impossible to combine your proposed two articles, each

1253:

was sufficiently non-introductory as to serve that role, and this seemed reasonable to me (though maybe the slower-paced parts could pick up the pace more, with details moved to their own articles when appropriate). Your article might be more suitable, but we're not in a position to judge candidates

1224:

takes the same position as Donald Monk (who has worked extensively on Boolean algebras during his half-century career) in his Stanford Encyclopedia article cited above, namely that Boolean algebra is the algebra of two values. This is also the position taken by Boole in his 1854 book, where he says

1211:

assuming we can recognize monsters somehow. That's a semantic criterion. The section in effect opts for the former by defining what we want to be able to prove as the tautologies; we can then define a monster to be any structure supplying a counterexample to some tautology. (Alternatively we could

1202:

An equational theory is presented syntactically when it is specified by a subset of the theory sufficient to generate the rest of the theory, namely as its deductive closure. It is presented semantically when it is specified as the theory of some class of structures, for example as the theory of the

957:

on the other hand, which Hans Adler, CMBJ and I had been proposing as the primary topic, starts from ∧, ∨, and ¬ as the basic operations for consistency with other introductions to the subject and then subsequently introduces the derived (non-basic) operations ⊕ (exclusive-or) and → (implication). I

952:

is so titled because it starts with the general concept of a Boolean operation without committing to a basis in the beginning, as appropriate for an article pitched at a relatively high level, and the axiom system in that article reflects this by consisting of three inference rules and a single axiom

667:

Had the algebraic structures of Boolean algebra been called "logical spaces" (by analogy with the vector spaces of linear algebra) there would be no debate because there would be no need for a dab page. The question we're having trouble agreeing on is whether referring to those structures as Boolean

546:

Also, because of the syntactic ambiguity between the mass noun and the count noun, the link to Boolean algebras would have to be available on such a page from the very beginning of the page, for instance by starting the lead with "Boolean algebra is both a mass noun and a count noun. As a count noun,

406:

is a minor topic (or subtopic). Some statistics have already been made and my understanding is that if the calculus is more popular (especially due to its use in computer science and electronics), the number of books about the structure is comparable to the number of books about the calculus. If this

365:

I have no strong opinion on what is the best approach (i.e. on whether Boolean algebra is only about the calculus or if it has to be thought in a broader sense that also covers Boolean algebras). In particular, I decided last week to take the broad sense point of view for granted and proposed a short

3868:

OK, let me state my position, I hope clearly. I want a clear two-article model, one on the field of study and one on the structures. In exchange for that I am willing to have the field of study be "primary" in the purely WP sense, with a hatnote on it to the structure article. I see no need for a

3847:

Regarding your short proposal "Another possible approach ..." above, that sounds acceptable to me for either the main "Boolean algebra" page (as in my point 2 above), or for some "Introduction to Boolean algebra" (in replacement of the current one), in case one decides to go for a more comprehensive

3433:

Regardless of what an article titled "Boolean logic" might say or who it might serve (engineers, economists, peace corps volunteers, whatever), how do you propose to have an article titled "Boolean algebra" that states that its axiomatization of the concept is complete (as your sandbox article does)

3392:

I was going to write but you all were faster. I support the analysis of Hans and its suggestion of having 1) a page "Boolean logic" talking about two-valued Boolean algebra, targeting engineers and typically made from a simplification of the current logic page 2) a page "Boolean algebra (structure)"

2655:

Maybe I am wrong and "Boolean logic" and "Boolean algebra" cannot be used as synonyms in this way. But if I am right, then we could decide, here on Knowledge, that we want to standardise our usage of these terms: We would be speaking about Boolean algebras, and their study in the most general sense,

2603:

Vaughan, you asked: "But what does completeness mean if not judged by the two-element Boolean algebra?" The point is that to judge completeness, you don't need a two-element algebra, you just need that the algebra contains at least the two elements 0 and 1 (what indeed it has). Let A be an arbitrary

2292:

OK, well this may be the heart of the disagreement. I consider it completely irrelevant whether there needs to be a dab page or not. We should decide on the organization of the articles without considering that. Then, and only then, we decide whether the collision of names requires a dab page, or

2244:

If all the dab page contains is links to two articles, the reader wanting to find out what "Boolean algebra" refers to will pick one at random, and with 67% probability find that they then need to pick the other one. 33% will correctly pick what they need the first time, 33% will pick the wrong one

2122:

This is precisely the debate I have with Vaughan for a while and which leads for him to defend the point of view that Boolean algebras are just models of the Boolean identities while I defend the point of view that there is no reason to focus on a particular Boolean algebra and that Boolean algebras

2079:

Boolean algebra – if it doesn't apply to some structure, then that structure is apparently not a Boolean algebra. I'm not sure what you mean by "calculus over 0 and 1". The calculus also allows variables, but 0 and 1 are the only constants in standard Boolean algebra. However, the two-valued Boolean

1759:

Ok, we now have two arguments against a dab page. Lambiam's is that the mass-noun meaning is clearly the primary topic under "Boolean algebra," whence there should be a primary-topic article rather than a dab page. (Given that Trovatore has argued that the count-noun meaning is clearly the primary

1606:

I understand. However (a) I don't see any dab page there, and (b) if there were then given how intimately "linear algebra" and "vector spaces" are related I'd prefer to see such a dab page replaced with an article about that relationship. A dab page for "linear algebra" and "vector spaces" doesn't

1511:

All this seems extremely reasonable. How is any of it an argument for "Boolean algebra" being a dab page, when it could just as well be an article on the operations and laws common to both the theory and the models, along with both meanings and how they stem from this common root, and links to the

1436:

there's a difference but whether the difference warrants a dab page disambiguating "Boolean algebra" as a theory and "Boolean algebra" as a model of that theory. The idea that theories have models is universal to mathematics and should not need a dab page to distinguish them when they're simply two

1288:

So the question is whether there are two topics, neither subordinate to the other. It is clear to me that there are. Once that is decided, then the question is whether one of them is "primary", in which case there would be a hatnote to the other, or whether neither is, in which case you need a dab

1178:

I fully agree that the set of all Boolean operations constitutes a basis, and moreover an infinite one. Another natural infinite basis would be complement together with all monotone Boolean operations. In practice finite bases are used, although my systematic naming system (which is really nothing

1121:

As for what is called syntactic completeness, I don't understand why it is called syntactic. Isn't it just the completeness (no qualifier) of the equational theory wrt the two-element model? I.e., isn't it just the standard statement that the given syntax appropriately captures the semantics, as the

965:

is presented, namely whether semantically (as the identically true equations) or syntactically (as the consequences of some set of basic equations constituting an axiomatization). However my reaction did not in the end take sides on that but instead offered justifications of both. On this point the

947:

Second, it is not mathematically important (though it is arguably culturally important) what basis, i.e. set of basic operations, one starts from, other than that it be complete. A basis is complete when every Boolean operation is representable as some term. For each finite n ≥ 0 the n-ary Boolean

381:

At the current time, I'm not able to claim that I fully understand Vaughan's point of view. It seems to me that his point is that "we" shouldn't commit to a formulation of the "Boolean identities" using only ∨, ∧, and ¬ but that we should rather see Boolean identities at a more "semantical" level as

3471:

Sorry, not following. The completeness proof you give at 22:41 depends crucially on the two-element domain. What do you mean when you say it's "not special?" Without it how would you even define completeness, let alone prove it? The two-element domain is fundamental to Boolean algebra, for that

3396:

Trovatore's proposal is good for me, and probably the most reasonable one. However, as said above, it seems to me clearer if we can get two Boolean algebra pages, targetting two kinds of audience (and hence to have two hatnotes on the WP-primary field-of-study article, one to the logic page and the

3205:

I would say it's time to revert to the last version by CMBJ because it meets Trovatore's requirement that it make "a clear distinction between the object and the mass-noun sense." That move is the logical first step in cleaning up the mess, so it makes sense to make it now. Note incidentally that

2623:

Maybe I'm missing something obvious, but I don't see how what you have shown here, theoremhood of true equations of the specific form r = 1, has theoremhood of true equations in general as an easy consequence. It seems, though, that with some obvious modifications the inductive proof can be applied

2605:

0, let's use equational reasoning to factor out x₁ in r. One obtains x₁-free expressions r₁ and r₂ such that r is provably equal to x₁∨r₁ ∧ ¬x₁∨r₂. Since the equation is true, by instantiating x₁ by the 1 of the algebra, one obtains that the equation r₂=1 is true and by instantiating x₁ by the 0 of

2571:

uses 32 bits in parallel for the L part, which gives a nice example of a Boolean algebra bigger than the two-valued or one-bit one. This example permits clarifying "excluded middle," which can be confusing at first when 01 seems to be intermediate between 00 and 11. "Excluded middle" does not mean

2375:

starts with the latter (a fast article would not give so many presentations of the two-element Boolean algebra), but gradually drifts towards the latter (lots of stuff on diagrams, Boolean algebras, etc. etc.). There is much room for tuning this article to best serve these two competing objectives

2322:

I am saying that the collision of terms is irrelevant to what the organization should be. Figure out what are the natural topics to treat, and then figure out how readers get there. I do not see them as living comfortably in a single article. One is an object, and the other is a field of study!

2221:

As I've written elsewhere on this page, my position is none of the ones on Lambiam's list. What I propose is something just as symmetric as Trovatore's dab page with respect to the two meanings of "Boolean algebra", but differing from it in being more than simply a list of links. Instead it is an

1983:

Without signing off on it (I gave it only a cursory reading) my initial impression is that it's fairly nice work, for the limited question of which, if either, of the two topics is primary. It would be just fine if everyone reading it were a mathematician. Maybe non-mathematicians will follow it;

1849:

Couldn't agree more. This is why I've continued to discuss the question with Trovatore, in order to boil things down to (ideally) a single sentence in support of each side of whether "Boolean algebra" should be a dab page or a primary topic. My sentence would be that since a Boolean algebra is an

1771:

Since we appear to be singularly unsuccessful in persuading Trovatore that there is anything at all wrong with his point of view, and he is equally unsuccessful in getting us to see why the obvious fact that mass-nouns aren't the same thing as count-nouns (which no one is disputing) justifies a dab

1619:

claims to be "the subject of linear algebra." Why would you want to divorce these with a dab page when this is obviously a marriage made in mathematical heaven? This is not incompatible with separate main articles on the two subjects, just as couples don't need to be employed by the same company.

1322:). Such as it is written, I don't see how the introduction can be generally accepted as the main article, what makes the question of renouncing to a dab irrelevant at the current time. As suggested above, it might be useful to request comments from the outside, whatever the form this process takes. 1186:

is not part of the definition of "Boolean algebra," it is offered there simply as an interesting way of proving all identities when the basis consists of all Boolean operations: to prove s = t, simply apply A1 repeatedly to evaluate s and t and if they evaluate to the same "atom" then infer s = t.

1137:

As I already said, typical sentences that contributes for me to this lack of unity are: "Much of the subject can therefore be introduced without reference to any values besides 0 and 1" and "Boolean algebra deals with the values 0 and 1". The use of some computer-science connoted vocabulary such as

446:

It's a historical accident that Boolean lattices share their most common name with mass-noun Boolean algebra, whereas vector spaces are not called linear algebra, or if you prefer, you can say the accident is the other way around. Supposing vector spaces happened to be called linear algebras, what

265:

is not that they're about different subjects, they're about exactly the same subject. The main difference I can see between the the two articles is that they happen to be pitched to very different levels of mathematical sophistication. This seems to have more to do with the respective backgrounds

3672:

Another possible approach that emphasizes the algebraic-reasoning aspect is to exhibit the superficial similarity with elementary algebra: start with a brief historical paragraph telling the reader that Boole himself used the notations + for disjunction and juxtaposition for conjunction, with laws

3448:

There are several questions. Regarding the result of completeness of the equational theory with respect to the semantics, my point is that it holds for all B.a. and the two-element domain is not special here (see message above at 22:41, 22 March UTC). Now, the question that I did not address in my

3328:

This preserves the parallelism with other articles and does not condition the organization itself on the linguistic accident. On the other hand, it addresses the perceived need to avoid confusing non-mathematicians, at the cost of having to police links from mathematics articles to make sure they

2853:

Furthermore some readers will still not know which they want after reading just that paragraph, and further treatment of both Boolean algebra the subject and Boolean algebras the objects can be offered to give them a fuller picture of both. Many readers may never want more than to understand what

2408:

Lambiam. I'm actually a counter-example to your assumption. I came on WP to find some information about Boolean algebras and it took me some while to understand that Boolean algebra had also another meaning and that what I was looking for in the jungle of Boolean algebra pages was at a page called

2390:

Well, then I disagree with you, since I firmly believe that the sense of "logic calculus" is the primary meaning, in the sense that that is what readers are most likely looking for; in fact, I am pretty sure the vast majority of readers searching for information on the topic are completely unaware

2248:

This seems less efficient than arriving at an article that gives the common elements of the two meanings and then explains each meaning in terms of those common elements, along with links to more detailed articles about each meaning. This allows the reader to make an informed choice as to whether

1932:

I would eliminate (1) which not only is not the goal of wikipedia afaik but would be quite restrictive as a main page. I would naively say that what should be targeted is (2) but all together with a clear and easy access to specialized pages for those groups (3) interested in either Boolean logic,

1923:

page, or at least will it be clearly presented as just an example of application of B.a. among others)? And will there be a hatnote linking to Boolean algebras so that those readers who are looking for the structure can find what they are exactly looking for easily? (and maybe a hatnote to Boolean

1569:

Sorry, why should it be considered last? "Boolean algebra" is the subject of the Boolean tautologies in the operations ∧ ∨ ¬. These tautologies have models which not terribly surprisingly are called Boolean algebras, and are the objects of Boolean algebra as a theory. Conversely the tautologies

854:

begins "Vector spaces are the subject of linear algebra." That plus your claims that certain topics belong in one but not the other, which are refuted by those articles, shows that this distinction is in your own mind. The distinction may be in other peoples' minds as well, but unless some clear

555:

which studies these algebraic structures." or something like that. I agree that I'm speculating here, but since other editors expressed the idea that there is no ambiguity between the two topics, I'd like to consider how far the possibility of seeing the both of them as subtopics of a more general

395:(proposed to be the primary topic) currently does: Its primary focus is on the two-element Boolean algebra, with the structure view only showing up abruptly in Section 5. Up to now, I did not see how Vaughan plans to address without undue weight the existence of different views over Boolean algebra 386:

arbitrary n-ary Boolean function (including e.g. NAND, ternary conjunction, etc.). Is that a correct understanding? If it is a correct understanding, I actually do not see how to precisely formulate this view, since, in practice, we cannot avoid using a system of notations for representing Boolean

3653:

The fact that Thms(Ax) = B(2) = B(4) = B(8) = B(subsets of X) = B(Lindenbaum algebra) = ... implies that it does not matter whether we define the Boolean laws to be the laws that hold of the two-element Boolean algebra, or to be the laws that hold of the subsets of say {1,6,23}, or to be the laws

3511:

that they're the same thing, just defined in two different ways. Deductive completeness of the axioms for a complemented distributive lattice is the property that the congruence closure of the substitution instances of those ten equations is the set of all Boolean laws. Semantic completeness of

3344:

I think you're giving up more than you need to. Earlier you asked for equality and I proposed a way of getting equality that seemed to me to meet everyone's needs except those who insisted that one topic take priority over the other, which previously consisted of you and Lambiam. You wanted the

2817:

Boolean algebras are an object studied by people who aren't doing Boolean algebra. An article on the subject matter does not particularly serve those people. It's not about number of clicks. It needs to be understood that the structure article is logically of equal status to the field-of-study

2563:

laws), which in effect is speaking about the two-valued Boolean algebra. Hugh wants to make the point that the complemented distributive lattice axiomatization is complete, but what does completeness mean if not judged by the two-element Boolean algebra? There really is no way of getting around

2201:

I didn't write these passages, and I'm not sure that the word "prototypical" is meant in another than an informal sense: two-valued logic is the original, and also the most common, application area of the calculus. The two-valued Boolean algebra is mathematically special in that it is the initial

1317:

My opinion is that the introduction currently commits too strongly to a "model of the two-element domain identities" view of Boolean algebras while in order to serve as a unifying page, it would have to at least equally support the "structure" point of view (I say at least, because I would not be

1248:

My proposal for solving the mess is to have an article about the subject of Boolean algebra that covers the main aspects that would be of interest to someone reading about the subject for the first time, with links to more specialized and/or advanced topics on the structures, Stone duality, axiom

1216:

Boolean algebra, not just the two-element one, but that's the same thing in this case.) However I can see that this could well be confusing given that the concept of a Boolean algebra is not defined immediately, so it might be clearer to just drop the semantic criterion. Thanks for raising this

1206:

Bear in mind that neither the concept of an axiom system, nor the term "tautology," nor the concept of a Boolean algebra has been defined up this point, all we've done so far is list some laws. Do we need to list some more or can we stop now? One criterion for stopping would be that we now have

973:

Regarding point 10 on "abruptness," I would have no objection to moving the section on diagrammatic representations to later in the article, or even a separate article, since it's a side issue, and likewise the duality principle subsection. This would move the definition of Boolean algebra up to

806:

is not about the calculus but about the values assumed by the variables, which always reside in a Boolean algebra; that short section covers all Boolean algebras while making the point that the two-element Boolean algebra plays a central role, much as the additive group of integers and its finite

542:

and the main other topics that are part of linear algebra? In the same way, couldn't the main Boolean algebra page be a synthetic capsule for all together the Boolean calculus, the Boolean structures, etc. Of course, this assumes that the term Boolean algebra is effectively and commonly used in a

198:

Nor would it justify a dab page. I have no objection to having separate articles on the theory and its models when this seems appropriate. What does not seem appropriate is the implication made by a top-level dab page that the models are unrelated to the theory. They are part and parcel of the

3363:

not take a stand on which meaning is "primary." Maybe it should take a stand, but I'll let others argue that since I'm not the one who expressed a desire for strict equality, that was you and I was merely pointing out that it was possible to accommodate you. My only objection is having novices

3062:

Boolean algebra", after which I don't particularly see the point of the statement. (At least one editor working in this area is an expert in counting uncountable Boolean algebras.) What I also don't understand is your use of the word "However"; if C is a logical consequence of A, then I wouldn't

1929:

Identifying the primary audience: Are they (1) "engineers who need to learn about this"? Or should we primarily aim at (2) "a member of the 'general public', not being a member of any of the (3) more special groups interested in Boolean logic"? Or can both audiences be served by one introductory

1084:, you say: "Boolean algebra is a set and a family of operations thereon interpreting the Boolean operation symbols and satisfying the same laws as the Boolean prototype" but this definition do first require to choose a pair (basis,axioms). Then, the basis and axioms to be understood here are the 978:

presentation of a complete set of laws. Your own definition of "Boolean algebra" is just as "abrupt:" you give a complete set of laws, and then "abruptly" define a Boolean algebra to be a model of that complete set. While I can't speak for Hans or CMBJ, I'm open to the question of when and how

743:

article, at a quick glance, looks excellent, and just about what I think it ought to be: A reasonably tidy explanation of the general concept, followed by lots of ways that the concept arises, and why it's important. These are not strictly limited to the language of linear algebra, but include

716:

Surely you don't assert that linear algebra and vector spaces are about different things? They're about the same thing, and had the subject been called "vector spaces" instead of "linear algebra" I find it hard to believe that anyone would seriously suggest the need for a dab page. As it is, I

3645:

If I call Thms(Ax) the set of laws derivable from the 10 axioms, the equation B(A) = B(A') is a consequence of the property that B(A) = Thms(Ax) whatever the non-degenerated Boolean algebra A is. The property B(A) = Thms(Ax) comes in turn by application of soundness (for A) to what the article

461:

I agree with you, but having two distinct pages for the calculus and the structure does not mean that we cannot have a short capsule page about "Boolean algebra" that would define the broad sense, explain what the different focuses are, and link to the corresponding subpages (otherwise said, a

3657:

Then, for pedagogical purpose, I think that introducing the axioms in the context of the set-theoretic operations is as well intuitive as doing it in the context of truth tables, if not more, since it would precisely emphasize that Boolean algebra is about reasoning "algebraically", not about

3515:

As I understand Hugh, he is defining the Boolean laws to be what I'll call the set BA of laws that hold of all Boolean algebras. I'm defining them to be the set B2 of laws that hold of the two-element Boolean algebra. Obviously BA is a subset of B2 (the more algebras, the fewer laws they all

1402:

entitled to be titled "Boolean algebra" if it weren't for the other article, into one. After three years of debate on this difference between us I am still unable to see it. I have not seen a single compelling argument in defense of your position, all of them have been easily shot down. --

3549:

The structure article should not need to say anything at all about the two-element Boolean algebra, other than perhaps to define a Boolean algebra as any model of the theory of the two-element Boolean algebra if you decide to do it that way instead of with one of the long-list-of-equations

2126:

I'm unfortunately not an expert in abstract algebra (and not either in Boolean algebra actually), if you could cite me an external reference that explains in which sense the two-element algebra could be thought as more prototypical than say, the subsets of {1,2,3}, I would be interested.

2307:

Yes, I already agreed with you about that above so this should not be in dispute. We're currently talking about the organization of articles under the heading of the ambiguous term "Boolean algebra," how are unambiguous terms like "linear algebra" and "vector space" relevant here?

894:

linear algebra (a field of study) and a vector space (a mathematical structure) are different things — just as topology and a topological space are different things. And all seem worthy of separate articles. Equally obvious, these things are intimately related with much overlap.

4021:

Vaughan, I do not understand why you have chosen to take such an unpleasant approach at this moment. I thought we were vaguely converging. Again, I object to the term "strawman"; in this passage I am simply stating my position, not trying to characterize anyone else's position.

2370:

But you raise an interesting question as to how much should be in an introductory article. "More" could serve two competing goals: if used to cover more material it is less introductory, but if used to explain the basic material in more detail it is more introductory. By design

1948:

I am not just sure what you are getting at here. I don't see any clear consensus at that page (note that it's been more or less inactive for some years) for whether there should be a separate introduction or not. However, if there were, it would surely not be "primary topic".

1512:

various articles on the topics you envisage and other topics besides, e.g. complexity, set theory, and so on? Making it a dab page creates the misleading impression that there is no common basis sufficient for an article, merely a need to list unrelated meanings of the term. --

755:

article. I would say a lot more about eigenvalues and eigenvectors, singular value decomposition, matrix theory stuff. I hope the demarcation is generally clear. Roughly speaking (but only roughly speaking; please don't try to turn this into some mathematical definition) the

1398:"Main articles" on subtopics of a topic are not controversial, and I'm all for lots of articles on subtopics of the topic of Boolean algebra. What is under debate here is whether "Boolean algebra" has a root topic, or must begin with two root topics having no common ancestor. 2960:. So, interpreting provable equivalence as equality, propositions form a model of Boolean algebra. However, proofs in propositional logic look completely different from proofs in Boolean algebra. Also, while propositions are an important model, they are not the only model. -- 1245:. As you'll see there I wasn't terribly interested in exactly what the article should be called, and I'm still not given that a reasonable eventual use of this article is to be cannibalized for one or more articles on advanced subtopics of the primary topic "Boolean algebra." 2416:

Maybe would have been it different if I had been educated in an English-speaking country, but in my case, when I first learned the English expression "Boolean algebra" (in the context of my professional job, at university), it was about the structure and not the calculus.

2833:

mathematicians. Or a disambiguation page that makes them wildly click around to find out whether the thing they want is a "structure" or a "calculus" (both words that won't make sense to them, and we are not going to put it in better words because that's just impossible).

3237:

is perhaps slightly better suited, in its current state, to be the mass-noun article, but I don't see an awful lot to choose between them. The only real difference seems to be that B.a.(l) spends more time on applications. I think it should be merged into the current

2554:

The first sentence avoids playing favorites by saying that Boolean algebra is an algebra, which is what Lambiam wants, for the purpose of two-valued logic (in contrast for example to intuititionistic logic which requires more than two values to give a counterexample to

1127:

By abruptness, I meant that up to Section 5, the topic is mainly presented as about the two-element Boolean algebra while I feel Section 5 as brutally changing the focus to the study of all Boolean algebras in general. I don't see such a brutal change of perspective in

1634:

There isn't any dab page because they happen to have different names! This is entirely inessential. We should decide the organization of the articles completely without regard to whether that organization happens to require a dab page; that's a detail of navigation.

3193:

The last version by CMBJ is not the compromise, no. At least not by itself. We need lots of merging to get down to two articles, one on the field of study and one on the structures. From the field-of-study article there should be a hatnote to the structure article

3434:

without talking about the two-element Boolean algebra? The two-element algebra is fundamental to the field of study, quite apart from any interest digital logic designers might have in it, starting with the concept of completeness but also in many other regards. --

2854:

the two concepts are and what's the difference between them, and therefore won't need to follow either link. This approach does not give preference to either topic, any more than would choosing their order in the dab page give preference to the first one listed. --

596:

be improved? To me, it would be natural to say more about eigenvalues and eigenvectors, singular-value decomposition, Hessenberg form of matrices, that sort of thing. It would not be particularly natural to say more about vector spaces there; that fits more at the

407:

question is still a concern for some editors, precise statistics should be made. In any case, comparing the relative weight of the calculus and structure topics in external sources is independent of the question of whether there is an ambiguity between them or not.

3624:. Would it be possible for each of you to express your preferred approach concretely, in the form of a concise paragraph of text that does not require having to read all of the preceding debate to understand it – preferably in the style of the alternatives at 2684:

However that solution ("primary" article on the field of study, hatnote to the structures) is far better than writing a single article that conflates the two senses. That's just wrong. You write different articles on fields of study than you do on objects.

2155:

One more word... What is special about the two-element model is not that "The laws satisfied by all nondegenerate concrete Boolean algebras coincide with those satisfied by the Boolean algebra" as the Introduction says but rather that the two-element domain

3947:

Is there some reason to assume that most of the Handbook of Boolean Algebras is unfit for Knowledge articles? And if not, how does Trovatore propose going about cramming it all into a mere two articles? The current problem is not proliferation of articles

2249:

they prefer one of those meanings over the other, so they can jump to the relevant article, or find both meanings equally interesting and want to dig deeper into the elements common to both, which can continue to be part of the article "Boolean algebra." --

3534:

You're talking about the field-of-study article, right? I'm against belaboring the two-element algebra in the structure article. Naturally it should be mentioned early, but I want to get quickly to structures that are actually interesting as structures.

1325:

I also think that there is no reason to have a separate article "canonically" about the structure beside the existing "structure" article. I consider their difference as basically a difference of point of view and that they ultimately have to be merged.

103:. Boolean algebra as the algebra of the two-valued logic of sentential connectives is a single subject, and Knowledge should treat it as such. Until this very simple fact is recognized, Knowledge's treatment of Boolean algebra will remain a mess. -- 556:

concept is feasible in practice. It might be the case also that I just misunderstood what Vaughan said and that for him the structure topic is reducible to the calculus topic, what would then be a denial of the significance of the structure topic. --

3792:, I don't think that the structure is the primary topic (because the calculus is more popular). I'm inclined to think that the calculus is not the primary topic either, because in terms of textbooks (e.g. on googlebooks or amazon) and in terms of 630:

Now, as to point 12, yes, five is far too many. It does not follow that we need only one. I am for a two-article model. (Two main articles, that is — of course there can always be subsidiary articles on subtopics, as there already are on e.g.

2022:

is there a difference between Boolean algebra in general (including e.g. reasoning in an algebra of sets or in the Lindenbaum algebra) and Boolean algebra over the two-element (i.e. reasoning in the two-element domains, as we do for instance in

1838:

opposed against an RFC, I am very sceptical about its chances of being effective unless we agree in advance what questions we should pose to this oracular device, questions that should have a clearly defined and limited set of possible answers.

1094:

In your 3rd paragraph above, I don't understand why you say that my presentation of the equational theory is "syntactic" rather than "semantical". Which sentence are you talking about? How would you reformulate this sentence so that it becomes

3112:). But most editors venting their opinions here have thus far not indicated that their preferred approach is represented in the draft I prepared, or, if not, made sure it is included. So is the consensus here that the main purpose of the page 931:

Hugo, let me respond to your points 9, 10, and 11. Point 11 incorrectly represents my position on what should go in the primary-topic article. First, Boolean operations with infinitely many arguments are not mentioned in any of the articles

1198:

as you say, but a law of Boolean algebra is simply any equation in those operations satisfied by the two-element Boolean algebra with those operations (namely all finitary operations on 2), and a Boolean algebra is any model of those laws.

2588:

1. This gives a nice opportunity to distinguish between values and constants; perhaps this could be done earlier by consistently using different fonts for constants and values so that readers don't blur the notions together at any point.

1649:

Now you're talking. While you've been insisting on a dab page some of us have been working on the appropriate organization of the articles. Care to take a break from whether a dab page is needed and join us in that discussion for a bit?

2236:

Boolean algebra is equally dependent on the operations, without which there is no signature. And it is also dependent on the laws, since a Boolean algebra is a model of those laws and therefore remains undefined until the laws have been

970:, where the concept of completeness of a set of laws is introduced in as even-handed a way as I could. If people have a strong preference for one way over the other instead of presenting both in the same sentence I have no objection. 3814:

or to have a page on the mathematical concept of Boolean algebra (mass noun) at a sufficient level of algebraic abstraction, even if an introductory one, so that "structurists" can recognize it really as a mathematical page about the

2202:

object in the category of Boolean algebras. If you want your favourite Boolean algebra to be considered prototypical, you need to identify it (up to isomorphism); for example, the Boolean algebra of the subsets of the set {1..42}. --

1879:, in the sense that you would have a hatnote to the other rather than a dab page, is somewhat separate from the question of whether there are two topics. I feel much more strongly about the second point than I do about the first. -- 2564:

explaining Boolean algebra (assuming one is going to mention completeness up front when listing equations, as Hugh does) without getting involved from the beginning in both the subject as algebra and at least one Boolean algebra.

387:

functions and the most convenient one (if not the most canonical) is and remains the ∨-∧-¬ system. Moreover I don't see what it means to be a Boolean identity when Boolean functions with infinitely many arguments come into play.

352:) is only about the calculus and in no way about the study of the inner structure of the variety of Boolean algebras. As a consequence, he defends that there is a genuine ambiguity between the calculus and the structure topics. 948:

operations can be paired up in the usual way with the functions from 2 to 2, where 2 denotes the set {0,1}. In my reaction to your article I expressed no preference for how the Boolean operations are introduced. The article

370:

going in this direction. Only Vaughan Pratt reacted to this proposal. He objected to my algebraically-minded ∨-∧-¬-based definition of Boolean algebras and advocated a semantically-minded definition as "models of the Boolean

2057:

I don't think any clear description of what "Boolean algebra in general" is has been given. Do we agree (Vaughan seemed to, if I understood him correctly) that not all study of Boolean algebras is in fact Boolean algebra?

3832:

be "value-minded" (in the sense that it targets people using Boolean algebra over finite, 2-value domains) but I don't consider that a page on the mathematical concept of Boolean algebra (mass noun) has to be such level.

1458:

I think the real important reason is that (let's use the other case to start with, to avoid the linguistic repetition which may confuse the issue), vector spaces are the setting for linear algebra, but they are important

144:

I would agree with that if we can't resolve this among ourselves. As I see it Trovatore is making the strawman argument that the mass-noun interpretation is formalist in nature. This is not supported by the content of

1329:

I'm learning a lot in trying to understand your view. I hope we will eventually be able to "get to common ground" and I'm glad that you share this hope too (I'm sorry to have to postpone the discussion for a few days).

3393:

based on the current one, on the Boolean ring page and on the "canonically" page 3) a page on "Boolean algebra", field of study, approached from the mathematical point of view along lines we are currently discussing .

3320:

and the "canonically" article to be merged into the structure article, but much reduced, or else treated later in the article than order-theoretic and model-theoretic aspects such as atomicity, freeness, completeness,

3749:. Then give the axioms in modern notation using symbols 0, 1, ¬, ∧, ∨. Next, show two possible interpretations: two-valued logic (with application in digital logic), and subsets of some universe (with application in 266:

of the responsible editors than any distinction between "algebra of sets" and "field of sets," which deal with exactly the same concept: a set of sets closed under the Boolean operations (as interpreted for sets). --

1725:, to mention only a few, are genuinely ambiguous. Yet these are not disambiguation pages, but honest articles, with a hat note to other meanings of these terms. The topic dealt with at each of these articles is the 257:, and I'm sorry but I fail to see the slightest difference between "Algebra of sets" and "set algebra" since both deal with a system of sets closed under union, intersection, and complement. The difference between 2717:(main article) is the field of study that is concerned with true, false, and, or, not -- but interpreted as algebraic operations. The (equational) relations that hold between the various operations are studied in 2468:

What I'm getting out of this discussion is a better sense of the importance of the two-element Boolean algebra. A computer is a perfect example of the calculus at work in the sense envisaged by Lambiam. But the

1132:. Maybe "abrupt" is not the right term I wanted to use, "without continuity" or "without global unity" are maybe clearer. It might also be a subjective feeling and I would be curious to know the opinion of others. 1924:

logic too?) Is there some project to improve the global unity of the article and make it does not look too much as a superposition of different topics? More generally, how to contribute to the introduction page?

1476:

Similarly, a lot of my research is on Boolean algebras, but the work itself is not Boolean algebra. The work is set theory. An article on the structures called Boolean algebras should not be limited to Boolean

1240:

was just a tentative article under a different name to try out some ideas. But people seemed to like the article, and Jon Awbrey brought up the question of what to call it, which was discussed at some length at

801:

do not see the clear demarcation between these subjects that you do, and I wouldn't know where to draw the line myself since they're both about essentially the same subject. Likewise the very first section of

98:

But since the structure is nothing more than a model of the calculus, and the calculus is nothing more than the theory of the structures collectively, this is obviously inconsistent with Knowledge's notion of a

2680:

are likely to be mathematicians and are likely to be intending the structure, and because frankly I don't have much of a problem with writing mathematics articles for mathematicians. Call me an elitist if you

1179:

more than naming each operation by its truth table) raises the possibility of an infinite basis that is nevertheless usable in practice, since it is easy to work with truth tables when organized systematically.

390:

In any case, my opinion is that the respect of the different existing views over Boolean algebras has to be addressed by any proposal aiming at unifying the structure and the calculus topics. This is not what

3572:

are, and what the initial algebra is. The 2-element Boolean algebra is both of these. Also the free algebra on one generator is structurally important, which in this case is the 4-element Boolean algebra.

3210:

becoming "the field-of-study article" that Trovatore keeps talking about since we don't yet have such a thing. When someone writes one, if ever, we can discuss whether that should be merged with or replace

1496:

vector spaces, but "group theory" is not generally thought to be about calculation inside groups. I am now clear that there should be, because the article about groups need not be limited to group theory.)

1266:

editors for their more expert opinion. Trovatore's argument would be more compelling if he could offer an example of a dab page used at top level to disambiguate the models of some class from its theory.

3183:

Well, then we don't need to have an RFC, since it that case, as far as I can see, the compromise is acceptable to everyone. So I'll revert then to the last version by CMBJ, and we can proceed from there.

153:

be necessary. Which may come to pass given that Trovatore has had his heels dug in on his position for several years now. It would then be interesting to see how he defends his strawman argument. --

203:. Separate articles are fine but they should not be linked to by a dab page but by a page that talks about the common elements, in particular the operations and laws, which are the same for both. -- 1915:, what is the residual room for manoeuvre in the article? For instance, will it definitively commit to the two-element structure (more particularly will the section on truth tables remain in Section 2668:

It may be the case that the article on the subject matter should be "primary" purely in the WP sense that it would be the one the search term goes directly to, with a hatnote to the other. I'm not

2241:

if any meaning they are in search of. For many readers I would not be at all surprised if they benefited equally from both meanings, having never known either meaning before coming to Knowledge.

1212:

have defined a Boolean algebra to be a homomorphic image of a field of sets, an equivalent definition even without choice, and then defined the laws of Boolean algebra to be those satisfied by

285:

I fell on this acknowledged "mess" just two weeks ago and I was terrified. After reading many parts of the (lengthy) discussions related to the current situation, my analysis is the following:

2229:

The subject of Boolean algebra is critically dependent on the operations, without which terms cannot be defined, and it is also dependent on the laws, which are part and parcel of the subject.

1258:

viewing the theory and its models as so different as to need a top-level dab page. While I don't like having to escalate such questions to an RFC as CMBJ suggested, if we can't agree on what

3156:

make a clear distinction. Apparently you can live with A1 and A3, and are opposed to A2. But what about our esteemed emeritus colleague from Stanford? I don't even know if he could live with

1170:

Thanks for such a detailed response, Hugo, which is very helpful in getting us to common ground. You raise eight questions/issues, which I'll respond to in order. The first three are about

3169:

His most recent comments sounded to me as though he found my proposed compromise more or less acceptable. Look through the most recent ones and see of you don't get the same impression. --

1061:,A1) at the same level as the other remarkable pair made of Sheffer stroke and its single axiom, i.e. as one of the alternative presentations giving insights about what Boolean algebras are. 94:

Knowledge's treatment of Boolean algebra is a mess, as a number of people have complained about above, for the simple reason that a single Knowledge editor has been insisting for years that

2991:

opinion whether something is remarkable or not is not relevant for the question whether we should have an article about Boole's "Calculus of Logic", historically the first formal system of

2391:

that the term can also have this other meaning. I also don't see how one can write a good lead that treats both meanings on an equal footing – and don't forget that when there is a version

1772:

page instead of an article, it's looking more and more likely that we'll have to start getting outside help in communicating the respective arguments of both sides to the opposite side. --

3378:

Well, the capitulation is only on the navigational question, which is less important to me than the organizational one. As I said, "primary" here is purely in the navigational sense. --

2757:

the articles need cleanup, and they should be merged into two (or at most three, allowing space if necessary for a low-level "intro" article). I don't see any reason to have a separate

3108:. Since we (rather obviously) are not going to reach agreement here, I think an RFC is in order, and no one yet has argued against it (although I've expressed my conditional scepticism 2367:

Only in one respect: the first (very short) section is biased towards the count-noun and therefore needs to be moved elsewhere so that the sections on operations and laws come up first.

1861:

related to Boolean algebra, involving somewhere between three and five pages and as many owners, but I'd like to see this dab page disagreement resolved one way or the other first. --

2810:

There is nothing wrong with the field-of-study article mentioning, and giving a definition of; I don't object to that at all. However it should not pretend to be the "first" article

2096:

If you take an equation built from variables and the operations and constants of the algebra, nothing else (e.g. over variables, ∨, ∧, ¬, 0 and 1), then the following are equivalent:

543:

broad sense (as linear algebra is) and not only in the sense of Boolean algebra over the two-element Boolean algebra, a question to which I couldn't actually get a clear answer yet.

89: 1229:

which itself began a century before "variable" entered the programmer's lexicon. Variables have values in the Platonic understanding of mathematics where the subject is actually

1285:

Well, the organization of our articles should not depend on whether it requires a dab page; that's a navigational detail. There is no general "avoid dab pages if possible" rule.

3779:

are dealt with. Specifically, I don't see from what you write whether your preference fits one of the four alternatives on the DraftRFC page better than any of the others. --

1118:

Or is it meant that the equational theory of Boolean algebras is complete in the sense that whenever you add an equation that is not already derivable, then 0=1 gets provable?

174:

Yes, certainly, one of the structures is just a model of the calculus. So what? A vector space is just a model of linear algebra, and we nevertheless have separate articles

1036:

I don't see why the theory made of this axiom scheme should be considered of a different nature than any other complete equational theory for Boolean algebras such as Peirce

793:

article, in which "eigen" (for eigenvalue or eigenvector) occurs 23 times and "matri" (for matrix or matrices) occurs 27 times. It is clear that the editors responsible for

3654:

that hold in the Lindenbaum algebra, etc. Henceforth, whether we define them to be B(2) or B(Lindenbaum algebra) or simply to be Thm(Ax) is just a matter of point of view.

3300:

The field-of-study article may certainly (and probably should) treat the structures to some extent, along the lines that you would expect vector spaces to be treated at

3093: 1897: 1821: 305:, ... all used to characterize, compare, study various algebraic, ordering, topological properties of structures commonly found in mathematics. This is what the article 3550:

approaches, or to include it among the examples at the beginning depending on how self-contained the structure article needs to be, or to relate it to the concept of a

1668:

been arguing the appropriate organization of the articles. That has been my main point through this whole discussion! The dab page is merely a consequence of that. --

1339: 1276: 1163: 1018:

I don't agree: it starts from the (infinite) basis made of all truth tables. For sure, it is the largest and "most-semantical" basis we can think of, but it is a basis.

999: 979:

completeness should be addressed, whether syntactically, semantically, or both at once. However there is no other way of defining a Boolean algebra than to first give

419: 112: 3073:

Ok, I admit then that I probably don't understand these issues well enough to contribute non-noise to this debate, so I'm withdrawing from it. Good luck with the RfC.

2164:

characterized by the language and axioms of Boolean algebras, in the sense that for any Boolean algebra basis and axioms, there is an interpretation of the basis over

2859: 2093:

If I understood you correctly, we are drawing different conclusions from the very same observation. Let me rephrase what I understood to see if it is what you meant:

1207:

enough laws to prove everything we're interested in being able to prove. That's a syntactic criterion. The other criterion is that our laws are now sufficient to

2895:? I'm not well versed in these issues (compare to some of the others editing here), but the mapping between the two is also of interest, and covered in books like 2395:

are happy with, other editors will come and change it one way or another, almost certainly skewing it in one or the other direction. But I have tried to amend the

2444:

To see what the primary meaning is, all you need to do is to google and look for the first 20 results or so; the vast majority is clearly about the calculus. --

3650:

calls deductive completeness, which in our case is (strictly speaking) that for any (closed) equation E not in Thm(Ax), the equation 0=1 belongs to Thm(Ax ∪ E).

3359:(None of what I'm suggesting is inconsistent with hatnotes, btw, any number of which are fine by me. I'm just pointing out that the article on Boolean algebra 1904:

page had a talk page actually). I thought that Vaughan decided to go for the introduction page mainly on his own, and the task force talk page shows that I was

1543:

Now, if the two articles would not naturally take the same name, there would be no reason to consider a dab page. But they do. That fact should be considered

480:

What is wrong with a straight disambig page? That's the usual solution when two major articles, each likely to be the thing looked for, share the same name. --

410:

The "mess" is not about the ambiguity, it is about the existence of 5 overlapping articles for defining what Boolean algebra is (plus a disambiguation page). --

3620:

Interesting as it is, it doesn't look as if the conversation is converging on a mutually acceptable compromise concerning the eventual disposition of the page

1901: 1817: 1395:

Trovatore feels that two articles on Boolean algebra are needed, with some indefinite number of further articles expanding on subtopics in these two articles.

1242: 1191:

define a Boolean algebra as any model of A1, but a syntactic definition like that would be much less natural than the semantic definition given in the article.

958:

for one am therefore completely on board with having the primary topic start from the ∧ ∨ ¬ basis, since that's how it's currently presented in that article.

2609:

Otherwise said, completeness is not specific to the two-element domain and being true on the two-element domain is equivalent to being true on any domain. --

2183:

misses is not laws, as the introduction (wrongly) says, but functions, in the sense that for any interpretation of the basis, there are n-ary functions over

3642:

define the set of laws, say B(A), that hold in Boolean algebra A and to observe that B(2) = B(4) = B(8) = B(subsets of X) = B(Lindenbaum algebra) = ... etc.

2435:

readers searching for this term are searching for information about the calculus. I only stated that I expect this to be the case for the vast majority. --

2020:

Isn't there a fourth alternative? I mean, there is something I still don't understand well in the current structure of the Boolean algebra pages, which is:

990:

does not impose any statistical test on the aspects of a broad concept article: some aspects may be more popular than others, but they're still aspects. --

1528:

I'm glad you think it's reasonable. I'm not sure what part of the argument is missing. To flesh it out: There are two distinct topics, one analogous to

1115:

a set with operations ∧, ∨, and ¬ satisfying the axioms, hence doesn't the "semantic sense" of completeness considered in the paragraph hold by definition?

1005:

Vaughan, thanks for clarifying some of the points. I'm not sure I understand you completely, so, here are some extra remarks and asking for clarification.

825:

I never claimed it was a razor-sharp demarcation. Nevertheless it appears very clear to me. There are things that naturally come up in an article called

1073:

Just to be sure, do I understand correctly that when you are talking about the semantical definition of Boolean algebras, you mean a definition based on (

3284:

The field of study becomes "primary" in the purely WP sense of taking the undisambiguated name. It's not to be thought of as primary in a logical sense.

3056:

Unless you want to allow theories in uncountable languages, a concept many people are not familiar and comfortable with, I think you should write "every

961:

What I did react to about your article (apart from the historical remarks, which were not intended as an endorsement of any operation basis) was how the

3596: 3489: 3466: 3443: 3138:

be a dab page, I offered to agree to make the mass-noun one be where you get to with the undisambiguated term, in exchange for the clear separation. --

2618: 2598: 689: 653:

I agree also. I don't see how to avoid having eventually 2 defining articles + one main entry point page, the rest being made of subsidiary articles. --

3041:

for that statement, but I suspect it's not necessary in present company. Do you see why I'm baffled by the RfC choice (and the multitude of articles)?

1820:, and in considering what needs to be done, and what the issues are beyond what is it already referred to above, it may also be helpful to review that 1064:

By the way, I would propose that we create a page about the bases, as it seems that there is quite a lot of material about that already, especially in

2052: 1803: 275: 2871: 2838: 2740: 2663: 2657: 2036:, the target is moving from day to day but it still looks like it is primarily about bits in spite of some occasional excursions to the general case. 1369: 4031: 4016: 3994: 3961: 3942: 3920: 3582: 3563: 3544: 3426: 3406: 3387: 3373: 3354: 3259: 3228: 2827: 2803: 2332: 2317: 2302: 2287: 2272: 2067: 1958: 1888: 1677: 1659: 1644: 1629: 1601: 1579: 1564: 1521: 1506: 1450: 1427: 1298: 886: 864: 842: 820: 780: 726: 711: 662: 648: 613: 565: 529: 507: 489: 475: 456: 327:, and in particular how to reason and compute over algebraic expressions taking values in the two-element Boolean algebra. This is what the article 212: 191: 3034: 2721:, and that article will have a lot of detail for beginners and for engineers. A mathematical structure that satisfies all the right equations is a 3857: 3842: 3783: 3667: 3529: 3520:

the most familiar one) or with regard to applications, among which propositional calculus and digital logic are two incredibly important ones. --

3502: 2628: 2462: 2448: 2439: 2426: 2403: 2385: 2362: 2258: 2206: 2196: 2136: 2115: 2088: 2081: 1870: 1781: 1455:

Ah, you beat me here. I actually have a better answer than my somewhat irritated response above, which I may have pulled the trigger on too soon.

1441:

would not consider that difference worthy of a top level dab page, but if we can't agree on it ourselves the only solution will be to ask them. --

902: 232: 2844: 2794:

Boolean algebra. My account does not conflate the notions of the algebra and an algebra, both are defined as notions with distinct meanings. --

2781: 2694: 1791: 2011: 1473:

But Banach spaces are not linear algebra! They're functional analysis. At least, those are the categories I use, and I hardly think I'm alone.

2746: 2413:(by some unfortunate and extraordinary coincidence, I was looking at the page precisely at the time CMBJ replaced the dab by the introduction). 1741:), the primary meaning is quite clearly that of the non-count noun, as in "George Boole was a mathematician whose algebra of logic, now called 162: 139: 3878: 3638:

Here is a new attempt to clarify my view (the last paragraph summarizes the main lines of my preferred approach to a Boolean algebra article).

3188: 3178: 3164: 3147: 2934:

are terms built from variables and the Boolean operations and constants. Propositional logic, on the other hand, uses inference rules such as

1993: 1729:, the one you would generally expect to be the topic of an article with any of these titles. In such cases, we should not use a dab page, per 3067: 3024: 2982: 2964: 1194:

Axiom A1 plays no role in the definition of "Boolean algebra". In that article a Boolean algebra is defined as a structure with operations f

374:

This shows that there is not only a divergence about what Boolean algebra should cover but also a divergence on how to define Boolean algebra

3096:. I think everyone agrees (1) that there are several audiences with different needs, (2) that there is a lot of material that has to end up 2644:

Now I don't think there is much difference between "Boolean algebra" and "Boolean logic". Therefore a reasonable structure could be to have

1760:

topic, the rest being trivial according to him, I would take that as a third argument against a dab page using the same logic as Lambiam's.)

498:

disambiguation page that served as model, if I remember correctly, for the English one is clearer on the relation between the two topics. --

334:

The first problem arises when it comes to decide whether Boolean algebra covers not only the study of the two-element Boolean algebra (i.e.

855:

consensus emerges as to just where and how to draw that distinction, the evidence for your claimed "clear demarcation" is unconvincing. --

1437:

aspects of the same topic. Any article on the count-noun depends on the theory for its very definition. My guess is that the editors of

1376:(Jan 2008) expressed or have been told to express this opinion in a way or another in the above discussion or in the archived discussions 1307:

Vaughan, I can unfortunately not give a detailed answer now as I have a busy week starting on, so I will just write a few short comments.

1592:

articles, neither subordinate to the other? The issues are the same, except for the accident of naming, or do you disagree with that? --

3152:

Yes, but that compromise does not work if another editor is also less concerned about what happens to this page, but only as long as it

3104:. The way forward, now, is to reach a decision on at least one issue, one that should be relatively simple: the disposition of the page 2917:: substitution of equals for equals, plus reflexivity, symmetry, and transitivity of equality. All axioms and theorems are of the form 1381: 2548:

with operation symbols ∧, ∨, and ¬ interpreted in any way whatsoever provided only that that interpretation satisfies all those laws."

1745:, is basic to the design of digital circuits." This is somewhat independent of the question whether we should have a separate article 3929:

the field of study, and not about the structures (it's certainly allowed to discuss the structures and probably should, but it's not

2102:

or, this equation holds universally in the algebra of subset of some given set (where the basis is also interpreted the standard way)

833:, and they overlap but are not the same. Both topics are worthy of an article. Does anyone but Vaughan disagree with me on this? -- 435:

The main point is the one I expressed earlier in this section. We have — and I hope everyone agrees that we should have — separate

3280:

Here is something I could probably live with, and seems to address a lot of other people's concerns. Let's see what people think.

1547:; it's a navigational detail that should not influence the organization of the articles, but only their naming. (There is nothing 1411: 3338: 1942: 3807:

either have a "smart" disambiguation page, which at least explains in a few words how the two names relate (in the style of the

3008:..., many of which deal with applications, and various existing Knowledge articles are devoted to it under a variety of titles: 3632: 3120: 3242:, and then with the hatnote that is reasonably acceptable. Except of course that we still have to figure out what to do with 1099: 967: 785:

As it happens the demarcation is not as clear as you claim. You say that eigenvalues, eigenvectors, and matrix belong in the

639:, which I believe Vaughan sees as being part of the subject of Boolean algebra — these are not really part of the problem.) -- 3324:

In general, the structure article to emphasize aspects of the objects themselves, rather than their definitions or signature.

3092:

We are repeating the points and arguments made extensively before elsewhere on this page and other BA talk pages, and at the

1753: 680:

ambiguity exists. Is it really a genuine ambiguity when both aspects of this subject are defined by the same set of laws? --

1916: 1843: 1237: 1183: 1171: 1154:

Finally, coming to the main question, I still don't know what are your proposals for solving the Boolean algebra "mess". --

1144: 1081: 1065: 1028: 1010: 949: 182:. If they happened to have the same name, we would not merge the articles, nor would it make one of the topics primary. -- 3130:

per se than I am about making a clear distinction between the object and the mass-noun sense. That's why, even though my

3082: 3050: 2998: 2907: 2855: 1977: 1973:. If users Trovatore and Vaughan Pratt can agree and sign off on the wording, I'll put it up below on this talk page. -- 1765:

Boolean algebras are the algebraic structures of Boolean algebra, and Boolean algebra is the subject of Boolean algebras.

586:; not that that really bears on what should be done, but evidently does indicate where authors saw fit to invest effort). 358:

defends that, because Boolean algebra is precisely about the (equational) theory of Boolean algebras, the Boolean algebra

3000: 1221: 1111:

I'm sorry but I have some difficulties to understand what is meant in this paragraph. By definition, a Boolean algebra

547:

a Boolean algebra is a kind of algebraic structure whose main examples are propositional logic and the algebra of sets

966:

proposed primary article is presently completely neutral: the two alternatives are introduced in the same sentence at

2652:

as a slightly more advanced article that covers Boolean algebras as well as Boolean logic as their equational theory.

3925:

Oh, I'm not interested in debating the contents of the field-of-study article, just as long as it's clear that it's

3006: 3004: 3002: 2540:

regardless of whether each variable has value 0 or 1 and hence is a law of Boolean algebra. And its models, called

2123:

have primarily to be seen as models of an equational theory (only one of these models being the two-element domain).

1488:

articles. I had not previously thought that the argument was as strong there, because there's a good argument that

1418:

at all, but in any case it doesn't seem to be the dominant Gödel/Tarski paradigm that I assume most of us accept. --

3819:

of Boolean algebras, in which case having just a hatnote to the structure (and another hatnote to the value-minded

3199: 3116:

is to offer a talk page forum on which we can argue to our hearts' content without ever reaching a conclusion? --

3892: 3757: 3013: 2996: 2372: 2355: 2033: 1912: 1311: 1250: 1249:

systems, diagrammatic representations, complexity, etc. Hans Adler was the first to propose, back in 2008, that

1103: 954: 941: 803: 392: 171:

I agree that it's a mess. Nevertheless it is indeed a genuine ambiguity, and I'm not the only one who thinks so.

146: 2949:

of Boolean algebra correspond precisely to the subset of theorems of (standard) propositional logic of the form

2323:

The sorts of articles you write on fields of study are entirely different from the ones you write on objects. --

1470:

article spends a fair amount of time on Banach spaces. Banach spaces are vector spaces, so I think that's fine.

3828:

Above, "sufficient level of algebraic abstraction" has to be opposed to "value-minded". It is fine for me that

2263:

Do you also feel there needs to be an article about the common elements of linear algebra and vector spaces? --

2226:

about the common elements of the two meanings. Those common elements are (i) the operations and (ii) the laws.

1310:

I don't think that the question of having or not a disambiguation page is a precondition to judge whether the "

636: 81: 76: 64: 59: 432:

does not include a study of the structures, but I'm willing to be wrong about that. It is not the main point.

2099:

this equation holds universally in the two-valued model (where the basis is interpreted in the standard way)

1794:? Is there anything different about that case, other than the lack of a name to give to such an article? -- 1377: 225:

Yes as I've said before, Trovatore is not alone in thinking that "Boolean algebra" is ambiguous. I do too.

2358:(which, I'd say, goes somewhat beyond what one would expect to be covered in an introductory article)? -- 2040:

meaning of a calculus applicable to any Boolean algebra" or "primary meaning of a calculus over 0 and 1".)

1536:, which obviously doesn't. If one of these is a "broad topic", arguably it would be the one analogous to 767:

That's very closely analogous to how I see the two main articles that I think should be pointed to by the

462:

synthetic directing page instead of a cold disambiguation page). In particular, you did not comment on my

3900: 3508: 3414: 3292: 3275: 3087: 2787: 2736: 2722: 2410: 1746: 933: 339: 324: 306: 2476:

This creates a nice opportunity to avoid seeming to pick favorites. "Boolean algebra is the algebra of

850:

begins "Linear algebra is a branch of mathematics that studies vector spaces." The second paragraph of

751:

article, on the other hand, could use quite a bit of fleshing out. But in very different ways from the

944:--- in all of those articles, all Boolean operations are assumed to take only finitely many arguments. 38: 3883:

But what would be the contents of the article which is not about the structure? Would it be closer to

2768:

Note that I still prefer a disambig page; as I say it's awkward that math articles are likely to link

1138:"value" also contributes for me to withdraw the subject into an article about the two-element algebra. 1054:

axioms) is most convenient in practice. So, from a presentational point of view, I would present the (

3797: 2119:

in this same section is not clear as it seems to consider equations that are not part of the theory).

1984:

maybe not. I have trouble predicting that sort of thing, so maybe we should ask a couple of them? --

1390: 3512:

those axioms is the property that every model of those ten equations is a model of the Boolean laws.

1233:

something (namely some model) but not in the formalist understanding which is mere symbol crunching.

100: 2987:

I'm not sure what you mean by "the equational logic" fragment of PL, since PL has no equations. My

2656:

which would be (generalised) Boolean algebra. And their equational theory would be Boolean logic.

4012: 3957: 3916: 3896: 3888: 3853: 3838: 3829: 3820: 3663: 3592: 3578: 3559: 3525: 3485: 3462: 3439: 3402: 3369: 3350: 3311: 3234: 3224: 3009: 2867: 2799: 2614: 2594: 2458: 2422: 2381: 2313: 2283: 2254: 2192: 2132: 2048: 2029: 1938: 1920: 1866: 1811: 1777: 1655: 1625: 1575: 1540:, because it includes things the other article doesn't, but I have no desire to take it that far. 1517: 1446: 1407: 1335: 1272: 1159: 995: 937: 860: 816: 722: 685: 658: 561: 503: 471: 415: 349: 335: 328: 271: 208: 158: 108: 1969:

I've drafted an RFC on this consuming issue, which you all can admire/improve/edit relentlessly

3364:

arrive at a dab page and be unable to decide which link to choose for lack of background.) --

1851: 1730: 3966:

There can certainly be articles on more specific topics. I would be happy to see most of the

3933:

them). I'm not that interested in the field of study and will leave that to those who are. --

2278:

information as to which is meant will need to backtrack until they find out which is meant. --

494:

Because they have something much stronger in common that just sharing the same name. Even the

3793: 3789: 3625: 3569: 3473: 2896: 2396: 2354:(to Vaughan) Is the treatment you prefer essentially different from the current treatment at 2008: 1970: 1964: 1129: 899: 463: 402:

Independently of the above questions, there were also questions about whether Boolean algebra

367: 229: 3895:, ...? And what does cover the name "field of study" for you? For instance, do you consider 3495: 2914: 2841: 2743: 2660: 2545: 2453:

Oh, don't worry, I'have no real stake in this. I just wanted to relativize things a bit. --

2075:

of "Boolean algebra" in the sense of structure, the "algebra of logic" calculus applies to

632: 428:

On your point 5: It is true that I have expressed the opinion that the mass-noun sense of

47: 17: 1318:

surprised that the "structure" view be in fact the most general view about Boolean algebra

8: 4027: 3990: 3938: 3874: 3540: 3422: 3383: 3334: 3255: 3174: 3143: 3020:, comprising together more than 100,000 bytes – but with much conceptual duplication. -- 2892: 2823: 2777: 2690: 2477: 2328: 2298: 2268: 2063: 1989: 1954: 1884: 1828: 1799: 1673: 1640: 1597: 1560: 1502: 1485: 1480:(By the way, this resolves a doubt that I had had about whether there should be separate 1423: 1294: 882: 838: 776: 707: 644: 609: 525: 485: 452: 187: 2938:, and does not have a concept of equality. However, there is a connection: the theorems 2176:, there exists a unique representative of the function over the basis modulo the axioms. 4008: 3953: 3912: 3849: 3834: 3816: 3659: 3588: 3574: 3555: 3521: 3481: 3458: 3435: 3398: 3365: 3346: 3220: 3078: 3046: 2992: 2978: 2903: 2863: 2795: 2610: 2590: 2454: 2418: 2377: 2309: 2279: 2250: 2188: 2128: 2044: 1934: 1862: 1773: 1651: 1621: 1571: 1513: 1442: 1403: 1361: 1331: 1268: 1208: 1155: 991: 856: 812: 718: 681: 654: 557: 499: 467: 411: 267: 204: 154: 104: 3780: 3629: 3499: 3185: 3161: 3117: 3064: 3021: 2961: 2625: 2492:. Its terms are built from variables and the constants 0 and 1 using the operations 2445: 2436: 2400: 2359: 2203: 2085: 1974: 1840: 1750: 1722: 1148: 3480:, which are to intuitionistic logic as Boolean algebras are to classical logic). -- 1532:, which naturally includes topics that are not linear algebra, and one analogous to 1174:

which has no obvious bearing on the dab page question but I'll answer them anyway.

96:

There is a genuine ambiguity between the "structure" usage and the "calculus" usage.

3477: 3450: 2970: 2786:

Not if the first paragraph defines "a Boolean algebra" accurately while linking to

2105:

or, more generally, this equation holds universally in my favorite Boolean algebra.

2005: 1226: 896: 731:

I think it is clear to most people what the difference between an article entitled

669: 552: 538:

precisely, not a lead-in, but some kind of synthetic capsule page for all together

298: 226: 2524:). Its laws are those equations between terms that hold identically; for example 3772: 3761: 3621: 3454: 3413:

Actually I think I would prefer to base the "structure" page more on the current

3329:

point directly to the structure article if the structure is what is intended. --

3239: 3216: 3212: 3207: 3135: 3127: 3113: 3105: 2728: 2714: 2649: 2560: 2556: 2489: 1714: 1706: 768: 258: 254: 238: 3304:, but should not pretend to be the "article of first resort" for the structures. 668:

algebras requires a dab page. No one has proposed this need for the subject of

46:

If you wish to start a new discussion or revive an old one, please do so on the

4023: 3986: 3934: 3904: 3870: 3750: 3536: 3418: 3379: 3330: 3301: 3251: 3170: 3139: 2819: 2773: 2686: 2567:

Computers aren't only about the two-element Boolean algebra however. A 32-bit

2324: 2294: 2264: 2059: 1985: 1950: 1880: 1795: 1734: 1669: 1636: 1612: 1593: 1589: 1556: 1533: 1498: 1489: 1419: 1357: 1290: 878: 874: 847: 834: 830: 794: 786: 772: 761: 748: 703: 640: 605: 593: 583: 571: 535: 521: 513: 481: 448: 440: 183: 179: 338:) but also the study of the structure of any arbitrary Boolean algebras (i.e. 3908: 3884: 3742: 3551: 3307: 3247: 3074: 3042: 3017: 2974: 2899: 2758: 2732: 2718: 2645: 1858: 1718: 1710: 1616: 1608: 1438: 1263: 1259: 1255: 987: 851: 808: 798: 673: 672:, for example, where the same ambiguity arises. More generally I interpret 443:

articles. They overlap, but their natural subject matter is quite different.

355: 262: 250: 242: 200: 150: 119: 3291:

This article is about the field of study. For the mathematical object, see

2025:

If I'm asking, it is because I don't know the answer. Has someone an answer?

3796:, they are roughly at the same order of magnitude (see also the discussion 3647: 3317: 3243: 3038: 2935: 1787: 1585: 1537: 1529: 1481: 1467: 1463:

of linear algebra. Therefore linear algebra is not really the broad topic.

1373: 870: 826: 790: 757: 752: 740: 598: 579: 575: 539: 517: 436: 245:, both started in 2004, the former by you, are on different subjects. But 175: 3314:(if the latter still exists) to be merged into the field-of-study article. 2580:= 1. In a two-bit ALU, 01 ∨ 10 = 11 in a Boolean algebra where 11 is the 2973:

fragment of propositional logic? Is that even remarkable for an article?

578:. I think the topics are of parallel importance. (Note by the way that 246: 3848:

or higher-level main "Boolean algebra" page (as in my point 2 again). --

3767:

Somehow I cannot deduce what your preference is with respect to how the

1615:

claims to be "a branch of mathematics that studies vector spaces" while

399:

in front of his statement that there shouldn't be a disambiguation page.

3971: 1738: 3058: 2913:

For one thing, proofs using the axioms of Boolean algebra use purely

1551:

with having a disambig page; it's not like it should be considered a

1365: 1147:, is there a reference to the notion of canonical generic algebra in 345: 129: 3981:

articles, each of which in the absence of the other would simply be

2002:

I've taken the liberty of moving this discudssion to its own section

953:

schema uniformly applicable to all Boolean operations. The article

1243:

Talk:Boolean_algebras_canonically_defined#Towards_a_genuine_article

294: 3808: 2473:

of the computer uses individual bits in a typical Boolean circuit.

1151:? If not, why did you call it canonical (no explanation is given)? 1025:

single axiom schema uniformly applicable to all Boolean operations

1013:

article define Boolean operations "without committing to a basis"?

237:

This is consistent with your position that the Knowledge articles

3472:

reason as well as others, such as which Boolean algebras are the

3219:

defining both the field and the object in its first paragraph. --

2891:

Lambiam, how is the 1st sense from your RfC draft different from

1933:

Boolean algebra structures, or maybe also propositional logic. --

604:

I hope the analogy is clear to how I see the B.a. articles. --

2116:

Introduction to Boolean algebra#The prototypical Boolean algebra

2082:

Introduction to Boolean algebra#The prototypical Boolean algebra

1786:

Vaughan, do you similarly feel the lack of a lead-in article to

3202:, which should probably go away). --17:01, 25 March 2011 (UTC) 447:

would we do? I believe we would need a disambiguation page. --

2837:

articles differently. Encyclopedias grew out of dictionaries.

2399:

to offer your preference as an option on an equal footing. --

2032:

it is clear that it is basically about bits. If I look at the

694:

Yes, it is a genuine ambiguity. Surely you don't assert that

323:

at least covers the study of the equational properties of the

3587:

I agree that this has to be part of the structure article. --

2772:

and it will be going to the wrong place most of the time. --

2431:

You would be a counterexample if my assumption had been that

2187:

that cannot be expressed from the operations of the basis. --

2179:

Otherwise said, what any other (non-trivial) Boolean algebra

1827:

Part of the problem (but of course not the whole problem) is

495: 302: 3741:, while noting that in some application areas (particularly 1262:

implies for the question then we may have to take it to the

2000:

Seems to be a fair an accurate presentation of the issue. (

1898:

Wikipedia_talk:WikiProject_Logic/Boolean_algebra_task_force

3977:

That isn't the point. There is a clear rationale for two

2969:

So what you're describing at "1st sense" is basically the

2818:

article; the latter is not an "ancestor" of the former. --

289:

There is a acknowledged genuine concept of Boolean algebra

2568: 1040:

axioms for the {∧,∨,¬} basis. For sure, reasoning on the

512:

Do you think there needs to be such a lead-in page above

3568:

But a good structure article might want to say what its

2480:

when the values of the propositions are limited to 0 or

2111:

it is out of the set of equations we are talking about).

3811:

disambiguation page, but hopefully more interestingly),

3756:

The question remains: is that something for an article

2995:, but somehow lots of books have been written about it, 1733:. While the term "Boolean algebra" may be ambiguous (a 1584:

Do you understand why I think there should be separate

986:

How does point 11 bear on whether to have a dab page?

3494:

Is it possible you two are using different notions of

1050:

We apparently all agree that the pair ({∧,∨,¬},Peirce

90:

Why Knowledge's treatment of Boolean algebra is a mess

3717:, all of which look familiar, but also, for example, 382:

the collection of identities expressible by means of

348:

says that Boolean algebra (in the sense described by

3970:

covered in WP as well, but I wouldn't put it all in

3804:

as having the same name. So my position would be to

2160:

is the only domain of which the n-ary functions are

1854:

and with resolving stalemates of this kind amicably.

3126:I am less concerned about what happens to the page 1314:" is liable to serve a the primary topic article. 362:

topic is a subconcept of the Boolean algebra topic.

3985:"Boolean algebra". I prefer not to have three. -- 2648:as a high-school level article for engineers, and 829:, and others that come up naturally in one called 3215:, but for now the proposed revert will result in 1875:The question of whether one of the two topics is 764:article is about the elements of the structures. 676:as wanting to avoid dab pages other than when a 3476:(compare that with the subdirectly irreducible 3037:after I gave my logic a refresh. I can provide 1911:Armed with this new encouraging view about the 869:What do other people think? To me it's clear; 293:(the structure), as just there are concepts of 3800:). However, I did not make precise statistics. 4003:articles". Who else has been advocating two 760:article is about the structures, whereas the 4007:articles plus other additional articles? -- 1818:WikiProject Logic/Boolean algebra task force 968:Introduction_to_Boolean_algebra#Completeness 312:However, it does not seem fully clear what 3760:, or should that (also?) be done here, at 3287:A hatnote to be placed at the top, saying 3102:what the articles are supposed to be about 1382:Talk:Boolean_algebra_(structure)/Archive_3 1080:,A1)? If not, what is your definition? In 549:(main page is Boolean algebra (structure)) 2862:) 20:41, 22 March 2011 (UTC) --- oops, -- 2735:retains its function but is cleaned up. 2731:becomes the main article for the field. 582:is currently a much better article than 2512:of negation or complement, for example 1492:should focus on methods of calculation 14: 1222:Introduction_to_Boolean_algebra#Values 551:. As a mass noun, it is the branch of 44:Do not edit the contents of this page. 3160:of the four listed alternatives. -- 3109: 2293:a hatnote on one of the articles. -- 1900:earlier (I did not realize that the 1238:Boolean algebras canonically defined 1184:Boolean algebras canonically defined 1172:Boolean algebras canonically defined 1145:Boolean algebras canonically defined 1082:Boolean algebras canonically defined 1066:Boolean algebras canonically defined 1029:Boolean algebras canonically defined 1011:Boolean algebras canonically defined 950:Boolean algebras canonically defined 877:is what you do in the structures. -- 25: 2672:happy about it, because people who 2624:directly to the equation p = q. -- 319:It seems that everyone agrees that 23: 2168:such that for every function from 2043:Thanks in advance for any help. -- 807:quotients play a central role for 789:article, but those are all in the 24: 4055: 635:, on the structure side, and the 316:exactly covers (or should cover). 3498:– deductive versus semantic? -- 3397:other to the structure page). -- 3200:Boolean algebra (disambiguation) 2232:At the same time the concept of 1143:By the way, in calling the page 1122:next sentence seems also to say? 29: 3758:Introduction to Boolean algebra 3658:computing with truth tables. -- 3014:Introduction to Boolean algebra 2373:Introduction to Boolean algebra 2356:Introduction to Boolean algebra 1919:or will it be delegated to the 1749:for the count-noun meaning. -- 1251:Introduction to Boolean algebra 1104:Introduction to Boolean algebra 955:Introduction to Boolean algebra 942:Introduction to Boolean algebra 804:Introduction to Boolean algebra 393:Introduction to Boolean algebra 147:Introduction to Boolean algebra 2572:excluding 01, rather it means 2465:(slightly revised afterwards) 1350: 637:Boolean satisfiability problem 118:I propose that we initiate an 13: 1: 3507:No because it's a theorem of 3206:this step will not result in 1816:Once upon a time there was a 3999:Yet another straw man: "two 3745:) these notations are still 2376:of clarity and coverage. -- 1466:Specifically, note that the 1378:Talk:Boolean_logic/Archive_4 7: 3415:Boolean algebra (structure) 3293:Boolean algebra (structure) 3063:write: "A; however, C." -- 2788:Boolean algebra (structure) 2737:Boolean algebra (structure) 2723:Boolean algebra (structure) 2411:Boolean algebra (structure) 2084:and following sections. -- 1747:Boolean algebra (structure) 1432:What we're debating is not 934:Boolean algebra (structure) 340:Boolean algebra (structure) 325:two-element Boolean algebra 307:Boolean algebra (structure) 10: 4060: 4032:04:35, 26 March 2011 (UTC) 4017:04:21, 26 March 2011 (UTC) 3995:20:10, 25 March 2011 (UTC) 3962:19:35, 25 March 2011 (UTC) 3943:21:32, 24 March 2011 (UTC) 3921:21:20, 24 March 2011 (UTC) 3879:21:06, 24 March 2011 (UTC) 3858:20:04, 24 March 2011 (UTC) 3843:19:47, 24 March 2011 (UTC) 3784:17:58, 24 March 2011 (UTC) 3668:16:38, 24 March 2011 (UTC) 3633:09:51, 24 March 2011 (UTC) 3597:16:41, 24 March 2011 (UTC) 3583:01:57, 24 March 2011 (UTC) 3564:01:52, 24 March 2011 (UTC) 3545:01:13, 24 March 2011 (UTC) 3530:00:09, 24 March 2011 (UTC) 3503:09:32, 23 March 2011 (UTC) 3490:06:24, 23 March 2011 (UTC) 3467:02:36, 23 March 2011 (UTC) 3444:23:11, 22 March 2011 (UTC) 3427:03:50, 23 March 2011 (UTC) 3407:22:26, 22 March 2011 (UTC) 3388:22:15, 22 March 2011 (UTC) 3374:21:52, 22 March 2011 (UTC) 3355:21:41, 22 March 2011 (UTC) 3339:21:21, 22 March 2011 (UTC) 3260:20:24, 25 March 2011 (UTC) 3229:18:37, 25 March 2011 (UTC) 3189:16:55, 25 March 2011 (UTC) 3179:15:46, 25 March 2011 (UTC) 3165:11:07, 25 March 2011 (UTC) 3148:09:42, 25 March 2011 (UTC) 3121:08:24, 25 March 2011 (UTC) 3083:10:35, 25 March 2011 (UTC) 3068:07:21, 25 March 2011 (UTC) 3051:03:16, 25 March 2011 (UTC) 3025:01:13, 25 March 2011 (UTC) 2983:00:40, 25 March 2011 (UTC) 2965:22:31, 24 March 2011 (UTC) 2908:21:13, 24 March 2011 (UTC) 2872:20:46, 22 March 2011 (UTC) 2845:20:29, 22 March 2011 (UTC) 2828:20:16, 22 March 2011 (UTC) 2804:20:08, 22 March 2011 (UTC) 2782:19:42, 22 March 2011 (UTC) 2747:19:35, 22 March 2011 (UTC) 2695:19:12, 22 March 2011 (UTC) 2664:19:04, 22 March 2011 (UTC) 2629:09:37, 24 March 2011 (UTC) 2619:22:41, 22 March 2011 (UTC) 2599:18:38, 22 March 2011 (UTC) 2463:17:27, 22 March 2011 (UTC) 2449:14:42, 22 March 2011 (UTC) 2440:13:34, 22 March 2011 (UTC) 2427:11:54, 22 March 2011 (UTC) 2404:10:00, 22 March 2011 (UTC) 2386:08:22, 22 March 2011 (UTC) 2363:08:05, 22 March 2011 (UTC) 2333:18:58, 22 March 2011 (UTC) 2318:08:37, 22 March 2011 (UTC) 2303:08:26, 22 March 2011 (UTC) 2288:08:22, 22 March 2011 (UTC) 2273:08:01, 22 March 2011 (UTC) 2259:07:42, 22 March 2011 (UTC) 2207:14:11, 22 March 2011 (UTC) 2197:11:31, 22 March 2011 (UTC) 2137:08:25, 22 March 2011 (UTC) 2089:01:00, 22 March 2011 (UTC) 2068:00:04, 22 March 2011 (UTC) 2053:23:52, 21 March 2011 (UTC) 2012:23:01, 21 March 2011 (UTC) 1994:22:05, 21 March 2011 (UTC) 1978:21:52, 21 March 2011 (UTC) 1959:23:31, 21 March 2011 (UTC) 1943:23:22, 21 March 2011 (UTC) 1902:Boolean algebra task force 1889:21:52, 21 March 2011 (UTC) 1871:19:16, 21 March 2011 (UTC) 1844:12:45, 21 March 2011 (UTC) 1804:21:50, 21 March 2011 (UTC) 1782:20:17, 21 March 2011 (UTC) 1754:14:34, 21 March 2011 (UTC) 1678:21:50, 21 March 2011 (UTC) 1660:20:17, 21 March 2011 (UTC) 1645:10:17, 21 March 2011 (UTC) 1630:09:58, 21 March 2011 (UTC) 1602:06:22, 21 March 2011 (UTC) 1580:06:19, 21 March 2011 (UTC) 1565:04:39, 21 March 2011 (UTC) 1522:03:21, 21 March 2011 (UTC) 1507:01:51, 21 March 2011 (UTC) 1451:01:00, 21 March 2011 (UTC) 1428:06:17, 20 March 2011 (UTC) 1412:06:00, 20 March 2011 (UTC) 1340:11:29, 21 March 2011 (UTC) 1299:02:18, 21 March 2011 (UTC) 1277:00:53, 21 March 2011 (UTC) 1164:17:22, 20 March 2011 (UTC) 1000:00:35, 20 March 2011 (UTC) 903:17:41, 20 March 2011 (UTC) 887:05:50, 20 March 2011 (UTC) 865:05:29, 20 March 2011 (UTC) 843:04:44, 20 March 2011 (UTC) 821:04:37, 20 March 2011 (UTC) 781:04:04, 20 March 2011 (UTC) 744:other stuff like topology. 727:03:46, 20 March 2011 (UTC) 712:01:09, 20 March 2011 (UTC) 690:01:06, 20 March 2011 (UTC) 663:18:29, 19 March 2011 (UTC) 649:18:02, 19 March 2011 (UTC) 614:00:52, 20 March 2011 (UTC) 566:23:44, 19 March 2011 (UTC) 530:18:43, 19 March 2011 (UTC) 508:18:40, 19 March 2011 (UTC) 490:18:30, 19 March 2011 (UTC) 476:18:29, 19 March 2011 (UTC) 457:17:57, 19 March 2011 (UTC) 420:17:39, 19 March 2011 (UTC) 276:04:56, 20 March 2011 (UTC) 233:19:22, 19 March 2011 (UTC) 213:02:08, 21 March 2011 (UTC) 192:08:31, 19 March 2011 (UTC) 163:05:18, 20 March 2011 (UTC) 140:08:15, 19 March 2011 (UTC) 113:08:10, 19 March 2011 (UTC) 3775:, in relation to how the 1896:I'm sorry I did not find 873:is about the structures, 2761:from the field-of-study 1763:My own argument is that 739:should be. The current 698:means the same thing as 3897:Boolean algebra (logic) 3889:Boolean algebra (logic) 3830:Boolean algebra (logic) 3821:Boolean algebra (logic) 3771:is treated at the page 3312:Boolean algebra (logic) 3250:, and "canonically". -- 3235:Boolean algebra (logic) 3010:Boolean algebra (logic) 2030:Boolean algebra (logic) 1857:I also agree there are 1182:The axiom system A1 in 938:Boolean algebra (logic) 771:disambiguation page. -- 350:Boolean algebra (logic) 336:Boolean algebra (logic) 329:Boolean algebra (logic) 3968:Handbook of Set Theory 3570:subdirect irreducibles 3474:subdirect irreducibles 2711:OK, so how about this: 2114:Then, relying on (1), 1822:task force's talk page 1607:seem in the spirit of 983:complete set of laws. 3899:as an equivalent for 3794:Special:WhatLinksHere 3626:User:Lambiam/DraftRFC 2508:of disjunction, and ¬ 2490:no intermediate value 633:free Boolean algebras 101:broad concept article 42:of past discussions. 2915:equational reasoning 2546:algebraic structures 1098:About the paragraph 18:Talk:Boolean algebra 3276:Possible compromise 3088:The way forward now 2893:propositional logic 2478:propositional logic 1486:group (mathematics) 3134:choice is to have 2993:mathematical logic 1859:ownership problems 1209:"bar all monsters" 303:partial order sets 3869:third article. -- 1927:Quoting Lambiam: 1723:Algebraic integer 1391:Why two articles? 1149:universal algebra 963:equational theory 735:and one entitled 570:No, I do not see 87: 86: 54: 53: 48:current talk page 4051: 3901:Boolean algebras 3823:) would be fine. 3509:equational logic 3478:Heyting algebras 3451:Heyting algebras 2971:equational logic 2959: 2948: 2928:, in which the Φ 2927: 2542:Boolean algebras 2500:of conjunction, 1385: 1354: 1227:abstract algebra 1091:and A1, correct? 670:relation algebra 574:as a lead-in to 553:abstract algebra 299:Heyting algebras 138: 136: 73: 56: 55: 33: 32: 26: 4059: 4058: 4054: 4053: 4052: 4050: 4049: 4048: 3773:Boolean algebra 3762:Boolean algebra 3751:query languages 3622:Boolean algebra 3455:algebra of sets 3278: 3240:Boolean algebra 3217:Boolean algebra 3213:Boolean algebra 3208:Boolean algebra 3136:Boolean algebra 3128:Boolean algebra 3114:Boolean algebra 3106:Boolean algebra 3090: 2958: 2954: 2950: 2947: 2943: 2939: 2933: 2926: 2922: 2918: 2770:Boolean algebra 2763:Boolean algebra 2729:Boolean algebra 2715:Boolean algebra 2678:Boolean algebra 2650:Boolean algebra 2561:double negation 2557:excluded middle 2552:In nine words t 1967: 1852:WP:PRIMARYTOPIC 1814: 1812:More background 1743:Boolean algebra 1731:WP:PRIMARYTOPIC 1727:primary meaning 1715:Admissible rule 1393: 1388: 1356:at least users 1355: 1351: 1197: 1090: 1079: 1060: 1046: 769:Boolean algebra 430:Boolean algebra 321:Boolean algebra 314:Boolean algebra 259:Algebra of sets 255:Algebra of sets 239:Algebra of sets 130: 123: 92: 69: 30: 22: 21: 20: 12: 11: 5: 4057: 4047: 4046: 4045: 4044: 4043: 4042: 4041: 4040: 4039: 4038: 4037: 4036: 4035: 4034: 3975: 3905:linear algebra 3865: 3864: 3863: 3862: 3861: 3860: 3845: 3826: 3825: 3824: 3812: 3801: 3765: 3754: 3655: 3651: 3643: 3639: 3618: 3617: 3616: 3615: 3614: 3613: 3612: 3611: 3610: 3609: 3608: 3607: 3606: 3605: 3604: 3603: 3602: 3601: 3600: 3599: 3566: 3517: 3513: 3469: 3431: 3430: 3429: 3394: 3357: 3326: 3325: 3322: 3315: 3305: 3302:linear algebra 3298: 3297: 3296: 3285: 3277: 3274: 3273: 3272: 3271: 3270: 3269: 3268: 3267: 3266: 3265: 3264: 3263: 3262: 3191: 3094:BATF talk page 3089: 3086: 3071: 3070: 3032: 3031: 3030: 3029: 3028: 3027: 2956: 2952: 2945: 2941: 2929: 2924: 2920: 2889: 2888: 2887: 2886: 2885: 2884: 2883: 2882: 2881: 2880: 2879: 2878: 2877: 2876: 2875: 2874: 2851: 2834: 2815: 2766: 2726: 2712: 2709: 2708: 2707: 2706: 2705: 2704: 2703: 2702: 2701: 2700: 2699: 2698: 2697: 2682: 2653: 2642: 2639: 2638: 2637: 2636: 2635: 2634: 2633: 2632: 2631: 2607: 2565: 2549: 2474: 2471:implementation 2442: 2414: 2368: 2348: 2346: 2345: 2344: 2343: 2342: 2341: 2340: 2339: 2338: 2337: 2336: 2335: 2246: 2242: 2238: 2230: 2227: 2218: 2217: 2216: 2215: 2214: 2213: 2212: 2211: 2210: 2209: 2177: 2146: 2145: 2144: 2143: 2142: 2141: 2140: 2139: 2124: 2120: 2112: 2108: 2107: 2106: 2103: 2100: 2094: 2070: 2041: 2037: 2026: 2015: 2014: 1997: 1996: 1966: 1963: 1962: 1961: 1894: 1893: 1892: 1891: 1855: 1834:While I'm not 1813: 1810: 1809: 1808: 1807: 1806: 1769: 1761: 1735:non-count noun 1707:Abel's theorem 1703: 1702: 1701: 1700: 1699: 1698: 1697: 1696: 1695: 1694: 1693: 1692: 1691: 1690: 1689: 1688: 1687: 1686: 1685: 1684: 1683: 1682: 1681: 1680: 1613:linear algebra 1590:linear algebra 1541: 1534:linear algebra 1490:linear algebra 1478: 1474: 1471: 1464: 1456: 1392: 1389: 1387: 1386: 1368:(March 2010), 1364:(March 2010), 1360:(March 2010), 1348: 1305: 1304: 1303: 1302: 1301: 1286: 1280: 1279: 1246: 1234: 1218: 1204: 1200: 1195: 1192: 1180: 1168: 1167: 1166: 1152: 1140: 1139: 1134: 1133: 1124: 1123: 1119: 1116: 1108: 1107: 1096: 1092: 1088: 1077: 1070: 1069: 1062: 1058: 1048: 1044: 1033: 1032: 1020: 1019: 1015: 1014: 1003: 929: 928: 927: 926: 925: 924: 923: 922: 921: 920: 919: 918: 917: 916: 915: 914: 913: 912: 911: 910: 909: 908: 907: 906: 905: 875:linear algebra 848:Linear algebra 831:linear algebra 809:abelian groups 795:linear algebra 787:linear algebra 765: 762:linear algebra 749:linear algebra 745: 737:linear algebra 700:linear algebra 628: 627: 626: 625: 624: 623: 622: 621: 620: 619: 618: 617: 616: 602: 594:linear algebra 587: 584:linear algebra 572:linear algebra 544: 536:linear algebra 514:linear algebra 444: 441:linear algebra 433: 423: 422: 408: 400: 388: 379: 372: 363: 353: 343: 332: 317: 310: 283: 282: 281: 280: 279: 278: 220: 219: 218: 217: 216: 215: 180:linear algebra 172: 168: 167: 166: 165: 91: 88: 85: 84: 79: 74: 67: 62: 52: 51: 34: 15: 9: 6: 4: 3: 2: 4056: 4033: 4029: 4025: 4020: 4019: 4018: 4014: 4010: 4009:Vaughan Pratt 4006: 4002: 3998: 3997: 3996: 3992: 3988: 3984: 3980: 3976: 3973: 3969: 3965: 3964: 3963: 3959: 3955: 3954:Vaughan Pratt 3951: 3946: 3945: 3944: 3940: 3936: 3932: 3928: 3924: 3923: 3922: 3918: 3914: 3913:Hugo Herbelin 3910: 3909:vector spaces 3906: 3902: 3898: 3894: 3890: 3886: 3885:Boolean logic 3882: 3881: 3880: 3876: 3872: 3867: 3866: 3859: 3855: 3851: 3850:Hugo Herbelin 3846: 3844: 3840: 3836: 3835:Hugo Herbelin 3831: 3827: 3822: 3818: 3813: 3810: 3806: 3805: 3802: 3799: 3795: 3791: 3787: 3786: 3785: 3782: 3778: 3774: 3770: 3766: 3763: 3759: 3755: 3752: 3748: 3744: 3743:digital logic 3740: 3736: 3732: 3728: 3724: 3720: 3716: 3712: 3708: 3704: 3700: 3696: 3692: 3688: 3684: 3680: 3676: 3671: 3670: 3669: 3665: 3661: 3660:Hugo Herbelin 3656: 3652: 3649: 3644: 3640: 3637: 3636: 3635: 3634: 3631: 3627: 3623: 3598: 3594: 3590: 3589:Hugo Herbelin 3586: 3585: 3584: 3580: 3576: 3575:Vaughan Pratt 3571: 3567: 3565: 3561: 3557: 3556:Vaughan Pratt 3553: 3552:field of sets 3548: 3547: 3546: 3542: 3538: 3533: 3532: 3531: 3527: 3523: 3522:Vaughan Pratt 3518: 3514: 3510: 3506: 3505: 3504: 3501: 3497: 3493: 3492: 3491: 3487: 3483: 3482:Vaughan Pratt 3479: 3475: 3470: 3468: 3464: 3460: 3459:Hugo Herbelin 3456: 3452: 3447: 3446: 3445: 3441: 3437: 3436:Vaughan Pratt 3432: 3428: 3424: 3420: 3416: 3412: 3411: 3410: 3409: 3408: 3404: 3400: 3399:Hugo Herbelin 3395: 3391: 3390: 3389: 3385: 3381: 3377: 3376: 3375: 3371: 3367: 3366:Vaughan Pratt 3362: 3358: 3356: 3352: 3348: 3347:Vaughan Pratt 3343: 3342: 3341: 3340: 3336: 3332: 3323: 3319: 3316: 3313: 3309: 3308:Boolean logic 3306: 3303: 3299: 3295: 3294: 3289: 3288: 3286: 3283: 3282: 3281: 3261: 3257: 3253: 3249: 3248:Boolean logic 3245: 3241: 3236: 3233:I think that 3232: 3231: 3230: 3226: 3222: 3221:Vaughan Pratt 3218: 3214: 3209: 3204: 3203: 3201: 3197: 3192: 3190: 3187: 3182: 3181: 3180: 3176: 3172: 3168: 3167: 3166: 3163: 3159: 3155: 3151: 3150: 3149: 3145: 3141: 3137: 3133: 3129: 3125: 3124: 3123: 3122: 3119: 3115: 3111: 3107: 3103: 3099: 3095: 3085: 3084: 3080: 3076: 3069: 3066: 3061: 3060: 3055: 3054: 3053: 3052: 3048: 3044: 3040: 3036: 3026: 3023: 3019: 3018:Boolean logic 3015: 3011: 3007: 3005: 3003: 3001: 2999: 2997: 2994: 2990: 2986: 2985: 2984: 2980: 2976: 2972: 2968: 2967: 2966: 2963: 2937: 2932: 2916: 2912: 2911: 2910: 2909: 2905: 2901: 2897: 2894: 2873: 2869: 2865: 2864:Vaughan Pratt 2861: 2857: 2856:171.64.78.120 2852: 2848: 2847: 2846: 2843: 2840: 2835: 2831: 2830: 2829: 2825: 2821: 2816: 2813: 2809: 2808: 2807: 2806: 2805: 2801: 2797: 2796:Vaughan Pratt 2793: 2789: 2785: 2784: 2783: 2779: 2775: 2771: 2767: 2764: 2760: 2759:Boolean logic 2756: 2752: 2751: 2750: 2749: 2748: 2745: 2742: 2738: 2734: 2733:Boolean logic 2730: 2727: 2724: 2720: 2719:Boolean logic 2716: 2713: 2710: 2696: 2692: 2688: 2683: 2679: 2675: 2671: 2667: 2666: 2665: 2662: 2659: 2654: 2651: 2647: 2646:Boolean logic 2643: 2640: 2630: 2627: 2622: 2621: 2620: 2616: 2612: 2611:Hugo Herbelin 2608: 2602: 2601: 2600: 2596: 2592: 2591:Vaughan Pratt 2587: 2583: 2579: 2575: 2570: 2566: 2562: 2558: 2553: 2550: 2547: 2543: 2539: 2535: 2531: 2527: 2523: 2519: 2515: 2511: 2507: 2503: 2499: 2495: 2491: 2487: 2483: 2479: 2475: 2472: 2467: 2466: 2464: 2460: 2456: 2455:Hugo Herbelin 2452: 2451: 2450: 2447: 2443: 2441: 2438: 2434: 2430: 2429: 2428: 2424: 2420: 2419:Hugo Herbelin 2415: 2412: 2407: 2406: 2405: 2402: 2398: 2397:draft version 2394: 2389: 2388: 2387: 2383: 2379: 2378:Vaughan Pratt 2374: 2369: 2366: 2365: 2364: 2361: 2357: 2353: 2352: 2351: 2350: 2349: 2334: 2330: 2326: 2321: 2320: 2319: 2315: 2311: 2310:Vaughan Pratt 2306: 2305: 2304: 2300: 2296: 2291: 2290: 2289: 2285: 2281: 2280:Vaughan Pratt 2276: 2275: 2274: 2270: 2266: 2262: 2261: 2260: 2256: 2252: 2251:Vaughan Pratt 2247: 2243: 2239: 2235: 2231: 2228: 2225: 2220: 2219: 2208: 2205: 2200: 2199: 2198: 2194: 2190: 2189:Hugo Herbelin 2186: 2182: 2178: 2175: 2171: 2167: 2163: 2159: 2154: 2153: 2152: 2151: 2150: 2149: 2148: 2147: 2138: 2134: 2130: 2129:Hugo Herbelin 2125: 2121: 2117: 2113: 2109: 2104: 2101: 2098: 2097: 2095: 2092: 2091: 2090: 2087: 2083: 2078: 2074: 2073:By definition 2071: 2069: 2065: 2061: 2056: 2055: 2054: 2050: 2046: 2045:Hugo Herbelin 2042: 2038: 2035: 2031: 2028:If I look at 2027: 2024: 2023:electronics). 2019: 2018: 2017: 2016: 2013: 2010: 2007: 2003: 1999: 1998: 1995: 1991: 1987: 1982: 1981: 1980: 1979: 1976: 1972: 1965:Draft for RFC 1960: 1956: 1952: 1947: 1946: 1945: 1944: 1940: 1936: 1935:Hugo Herbelin 1931: 1925: 1922: 1918: 1914: 1909: 1907: 1903: 1899: 1890: 1886: 1882: 1878: 1874: 1873: 1872: 1868: 1864: 1863:Vaughan Pratt 1860: 1856: 1853: 1848: 1847: 1846: 1845: 1842: 1837: 1832: 1830: 1825: 1823: 1819: 1805: 1801: 1797: 1793: 1792:linear algbra 1789: 1785: 1784: 1783: 1779: 1775: 1774:Vaughan Pratt 1770: 1766: 1762: 1758: 1757: 1756: 1755: 1752: 1748: 1744: 1740: 1736: 1732: 1728: 1724: 1720: 1719:Airy function 1716: 1712: 1711:Abelian group 1708: 1679: 1675: 1671: 1667: 1663: 1662: 1661: 1657: 1653: 1652:Vaughan Pratt 1648: 1647: 1646: 1642: 1638: 1633: 1632: 1631: 1627: 1623: 1622:Vaughan Pratt 1618: 1617:vector spaces 1614: 1610: 1605: 1604: 1603: 1599: 1595: 1591: 1587: 1583: 1582: 1581: 1577: 1573: 1572:Vaughan Pratt 1568: 1567: 1566: 1562: 1558: 1554: 1550: 1546: 1542: 1539: 1535: 1531: 1527: 1526: 1525: 1524: 1523: 1519: 1515: 1514:Vaughan Pratt 1510: 1509: 1508: 1504: 1500: 1495: 1491: 1487: 1483: 1479: 1475: 1472: 1469: 1465: 1462: 1457: 1454: 1453: 1452: 1448: 1444: 1443:Vaughan Pratt 1440: 1435: 1431: 1430: 1429: 1425: 1421: 1416: 1415: 1414: 1413: 1409: 1405: 1404:Vaughan Pratt 1399: 1396: 1383: 1379: 1375: 1371: 1367: 1363: 1362:Vaughan Pratt 1359: 1353: 1349: 1347: 1346: 1342: 1341: 1337: 1333: 1332:Hugo Herbelin 1327: 1323: 1321: 1315: 1313: 1308: 1300: 1296: 1292: 1287: 1284: 1283: 1282: 1281: 1278: 1274: 1270: 1269:Vaughan Pratt 1265: 1261: 1257: 1252: 1247: 1244: 1239: 1235: 1232: 1228: 1223: 1219: 1215: 1210: 1205: 1201: 1193: 1190: 1185: 1181: 1177: 1176: 1175: 1173: 1165: 1161: 1157: 1156:Hugo Herbelin 1153: 1150: 1146: 1142: 1141: 1136: 1135: 1131: 1126: 1125: 1120: 1117: 1114: 1110: 1109: 1105: 1101: 1097: 1095:"semantical"? 1093: 1087: 1083: 1076: 1072: 1071: 1067: 1063: 1057: 1053: 1049: 1043: 1039: 1035: 1034: 1030: 1026: 1022: 1021: 1017: 1016: 1012: 1008: 1007: 1006: 1002: 1001: 997: 993: 992:Vaughan Pratt 989: 984: 982: 977: 971: 969: 964: 959: 956: 951: 945: 943: 939: 935: 904: 901: 898: 893: 890: 889: 888: 884: 880: 876: 872: 868: 867: 866: 862: 858: 857:Vaughan Pratt 853: 852:vector spaces 849: 846: 845: 844: 840: 836: 832: 828: 824: 823: 822: 818: 814: 813:Vaughan Pratt 810: 805: 800: 799:vector spaces 796: 792: 788: 784: 783: 782: 778: 774: 770: 766: 763: 759: 754: 750: 746: 742: 738: 734: 730: 729: 728: 724: 720: 719:Vaughan Pratt 715: 714: 713: 709: 705: 701: 697: 693: 692: 691: 687: 683: 682:Vaughan Pratt 679: 675: 671: 666: 665: 664: 660: 656: 655:Hugo Herbelin 652: 651: 650: 646: 642: 638: 634: 629: 615: 611: 607: 603: 600: 595: 592: 588: 585: 581: 577: 573: 569: 568: 567: 563: 559: 558:Hugo Herbelin 554: 550: 545: 541: 537: 533: 532: 531: 527: 523: 519: 515: 511: 510: 509: 505: 501: 500:Hugo Herbelin 497: 493: 492: 491: 487: 483: 479: 478: 477: 473: 469: 468:Hugo Herbelin 465: 460: 459: 458: 454: 450: 445: 442: 438: 434: 431: 427: 426: 425: 424: 421: 417: 413: 412:Hugo Herbelin 409: 405: 401: 398: 394: 389: 385: 380: 377: 373: 369: 364: 361: 357: 356:Vaughan Pratt 354: 351: 347: 344: 341: 337: 333: 330: 326: 322: 318: 315: 311: 308: 304: 300: 296: 292: 288: 287: 286: 277: 273: 269: 268:Vaughan Pratt 264: 263:Field of sets 260: 256: 252: 251:Field of sets 249:redirects to 248: 244: 243:Field of sets 240: 236: 235: 234: 231: 228: 224: 223: 222: 221: 214: 210: 206: 205:Vaughan Pratt 202: 197: 196: 195: 194: 193: 189: 185: 181: 177: 173: 170: 169: 164: 160: 156: 155:Vaughan Pratt 152: 148: 143: 142: 141: 137: 135: 134: 128: 127: 121: 117: 116: 115: 114: 110: 106: 105:Vaughan Pratt 102: 97: 83: 80: 78: 75: 72: 68: 66: 63: 61: 58: 57: 49: 45: 41: 40: 35: 28: 27: 19: 4004: 4000: 3982: 3978: 3967: 3949: 3930: 3926: 3893:introduction 3776: 3768: 3746: 3738: 3734: 3730: 3726: 3722: 3718: 3714: 3710: 3706: 3702: 3698: 3694: 3690: 3686: 3682: 3678: 3674: 3648:completeness 3619: 3496:completeness 3360: 3327: 3318:Boolean ring 3290: 3279: 3244:Boolean ring 3195: 3157: 3153: 3131: 3101: 3097: 3091: 3072: 3057: 3033: 2988: 2936:Modus Ponens 2930: 2890: 2814:the objects. 2811: 2791: 2769: 2762: 2754: 2677: 2673: 2669: 2585: 2581: 2577: 2573: 2551: 2544:, are those 2541: 2537: 2533: 2529: 2525: 2521: 2517: 2513: 2509: 2505: 2501: 2497: 2493: 2485: 2481: 2470: 2432: 2392: 2347: 2237:established. 2233: 2223: 2184: 2180: 2173: 2169: 2165: 2161: 2157: 2076: 2072: 2034:introduction 2021: 2001: 1968: 1928: 1926: 1913:introduction 1910: 1905: 1895: 1876: 1835: 1833: 1826: 1815: 1788:vector space 1764: 1742: 1726: 1704: 1665: 1586:vector space 1552: 1548: 1544: 1538:vector space 1530:vector space 1493: 1482:group theory 1468:vector space 1460: 1433: 1400: 1397: 1394: 1372:(Jan 2008), 1352: 1344: 1343: 1328: 1324: 1319: 1316: 1312:introduction 1309: 1306: 1230: 1220:The section 1213: 1188: 1169: 1112: 1100:Completeness 1085: 1074: 1055: 1051: 1041: 1037: 1024: 1004: 985: 980: 975: 972: 962: 960: 946: 930: 891: 871:vector space 827:vector space 791:vector space 758:vector space 753:vector space 741:vector space 736: 733:vector space 732: 699: 696:vector space 695: 677: 599:vector space 590: 580:vector space 576:vector space 548: 540:vector space 518:vector space 437:vector space 429: 403: 396: 383: 375: 371:identities". 359: 320: 313: 290: 284: 253:rather than 176:vector space 132: 131: 125: 124: 95: 93: 70: 43: 37: 3321:saturation. 2739:unchanged. 2006:Paul August 1611:given that 1236:Originally 897:Paul August 247:Set algebra 227:Paul August 36:This is an 3972:set theory 3788:Regarding 3777:structures 1917:operations 1906:completely 1739:count noun 1705:The terms 1370:Hans Adler 1023:About the 4024:Trovatore 3987:Trovatore 3935:Trovatore 3891:, to the 3871:Trovatore 3537:Trovatore 3419:Trovatore 3380:Trovatore 3331:Trovatore 3252:Trovatore 3171:Trovatore 3140:Trovatore 3098:somewhere 3059:countable 3035:Rephrased 2820:Trovatore 2774:Trovatore 2687:Trovatore 2676:the term 2484:and 1 or 2325:Trovatore 2295:Trovatore 2265:Trovatore 2060:Trovatore 1986:Trovatore 1951:Trovatore 1881:Trovatore 1829:ownership 1796:Trovatore 1670:Trovatore 1637:Trovatore 1594:Trovatore 1557:Trovatore 1499:Trovatore 1420:Trovatore 1358:Trovatore 1291:Trovatore 1009:Does the 892:Obviously 879:Trovatore 835:Trovatore 773:Trovatore 704:Trovatore 641:Trovatore 606:Trovatore 522:Trovatore 482:Trovatore 466:above. __ 449:Trovatore 346:Trovatore 331:is about. 309:is about. 184:Trovatore 82:Archive 5 77:Archive 4 71:Archive 3 65:Archive 2 60:Archive 1 3903:of what 3790:DraftRFC 3769:calculus 3747:en vogue 3673:such as 3075:Tijfo098 3043:Tijfo098 2989:personal 2975:Tijfo098 2900:Tijfo098 2765:article. 2586:constant 1930:article? 1477:algebra. 1289:page. -- 601:article. 464:proposal 295:lattices 3907:is for 3817:algebra 3781:Lambiam 3630:Lambiam 3500:Lambiam 3186:Lambiam 3162:Lambiam 3154:doesn't 3118:Lambiam 3065:Lambiam 3022:Lambiam 2962:Lambiam 2626:Lambiam 2584:of the 2446:Lambiam 2437:Lambiam 2401:Lambiam 2360:Lambiam 2224:article 2204:Lambiam 2086:Lambiam 1975:Lambiam 1908:wrong. 1877:primary 1841:Lambiam 1751:Lambiam 1461:outside 1434:whether 1374:Lambiam 1130:my text 702:??? -- 678:genuine 368:article 133:C M B J 39:archive 3983:called 3950:per se 3809:French 3697:, and 3554:. -- 2753:Well, 1836:per se 1721:, and 1609:WP:DAB 1439:WP:DAB 1264:WP:DAB 1260:WP:DAB 1256:WP:DAB 1217:point. 988:WP:DAB 674:WP:DAB 591:should 534:Isn't 496:French 201:WP:DAB 3931:about 3927:about 3911:? -- 3887:, to 3798:above 3628:? -- 3457:." -- 3132:first 3110:above 3039:WP:RS 2842:Adler 2744:Adler 2681:like. 2661:Adler 2582:value 2488:with 2482:false 2162:fully 1921:logic 1737:or a 1555:.) -- 1549:wrong 1345:Notes 1231:about 1214:every 1189:could 1052:et al 1038:et al 1027:from 940:, or 16:< 4028:talk 4013:talk 4005:main 4001:main 3991:talk 3979:main 3958:talk 3939:talk 3917:talk 3875:talk 3854:talk 3839:talk 3729:) = 3709:) = 3664:talk 3593:talk 3579:talk 3560:talk 3541:talk 3526:talk 3486:talk 3463:talk 3440:talk 3423:talk 3403:talk 3384:talk 3370:talk 3361:need 3351:talk 3335:talk 3310:and 3256:talk 3225:talk 3175:talk 3144:talk 3079:talk 3047:talk 2979:talk 2904:talk 2868:talk 2860:talk 2839:Hans 2824:talk 2800:talk 2778:talk 2741:Hans 2691:talk 2674:link 2670:that 2658:Hans 2615:talk 2595:talk 2559:and 2536:) = 2486:true 2459:talk 2423:talk 2382:talk 2329:talk 2314:talk 2299:talk 2284:talk 2269:talk 2255:talk 2193:talk 2133:talk 2064:talk 2049:talk 1990:talk 1971:here 1955:talk 1939:talk 1885:talk 1867:talk 1800:talk 1790:and 1778:talk 1674:talk 1666:have 1656:talk 1641:talk 1626:talk 1598:talk 1588:and 1576:talk 1561:talk 1553:cost 1545:last 1518:talk 1503:talk 1484:and 1447:talk 1424:talk 1408:talk 1380:and 1366:CMBJ 1336:talk 1295:talk 1273:talk 1160:talk 996:talk 981:some 976:some 883:talk 861:talk 839:talk 817:talk 797:and 777:talk 747:The 723:talk 708:talk 686:talk 659:talk 645:talk 610:talk 589:How 562:talk 526:talk 520:? -- 516:and 504:talk 486:talk 472:talk 453:talk 439:and 416:talk 272:talk 261:and 241:and 209:talk 188:talk 178:and 159:talk 109:talk 3833:-- 3198:to 3196:not 3184:-- 3158:any 2955:↔ Φ 2944:= Φ 2923:= Φ 2755:all 2569:ALU 2433:all 2393:you 2172:to 2077:any 1839:-- 1102:of 384:any 151:RFC 120:RFC 4030:) 4022:-- 4015:) 3993:) 3960:) 3941:) 3919:) 3877:) 3856:) 3841:) 3753:). 3739:xy 3737:+ 3733:= 3725:+ 3715:xz 3713:+ 3711:xy 3705:+ 3695:yx 3693:= 3691:xy 3689:, 3685:+ 3681:= 3677:+ 3666:) 3595:) 3581:) 3573:-- 3562:) 3543:) 3535:-- 3528:) 3488:) 3465:) 3442:) 3425:) 3405:) 3386:) 3372:) 3353:) 3337:) 3258:) 3246:, 3227:) 3177:) 3146:) 3081:) 3049:) 3016:, 3012:, 2981:) 2906:) 2898:. 2870:) 2826:) 2812:on 2802:) 2780:) 2693:) 2685:-- 2617:) 2597:) 2589:-- 2576:∨¬ 2528:∨( 2516:∨( 2461:) 2425:) 2417:-- 2384:) 2331:) 2316:) 2308:-- 2301:) 2286:) 2271:) 2257:) 2195:) 2135:) 2127:-- 2066:) 2058:-- 2051:) 2004:) 1992:) 1957:) 1949:-- 1941:) 1887:) 1869:) 1824:. 1802:) 1780:) 1717:, 1713:, 1709:, 1676:) 1664:I 1658:) 1650:-- 1643:) 1635:-- 1628:) 1620:-- 1600:) 1578:) 1563:) 1520:) 1505:) 1497:-- 1494:in 1449:) 1426:) 1410:) 1338:) 1330:-- 1297:) 1275:) 1267:-- 1162:) 1113:is 998:) 936:, 885:) 863:) 841:) 819:) 779:) 725:) 710:) 688:) 661:) 647:) 612:) 564:) 528:) 506:) 488:) 474:) 455:) 418:) 342:). 301:, 297:, 274:) 211:) 190:) 161:) 126:— 122:. 111:) 4026:( 4011:( 3989:( 3974:. 3956:( 3937:( 3915:( 3873:( 3852:( 3837:( 3764:? 3735:x 3731:x 3727:y 3723:x 3721:( 3719:x 3707:z 3703:y 3701:( 3699:x 3687:x 3683:y 3679:y 3675:x 3662:( 3591:( 3577:( 3558:( 3539:( 3524:( 3484:( 3461:( 3438:( 3421:( 3401:( 3382:( 3368:( 3349:( 3333:( 3254:( 3223:( 3194:( 3173:( 3142:( 3077:( 3045:( 2977:( 2957:2 2953:1 2951:Φ 2946:2 2942:1 2940:Φ 2931:i 2925:2 2921:1 2919:Φ 2902:( 2866:( 2858:( 2822:( 2798:( 2792:a 2776:( 2725:. 2689:( 2613:( 2593:( 2578:x 2574:x 2538:x 2534:y 2532:∧ 2530:x 2526:x 2522:y 2520:∧ 2518:x 2514:x 2510:x 2506:y 2504:∨ 2502:x 2498:y 2496:∧ 2494:x 2457:( 2421:( 2380:( 2327:( 2312:( 2297:( 2282:( 2267:( 2253:( 2234:a 2191:( 2185:A 2181:A 2174:2 2170:2 2166:2 2158:2 2131:( 2062:( 2047:( 2009:☎ 1988:( 1953:( 1937:( 1883:( 1865:( 1798:( 1776:( 1672:( 1654:( 1639:( 1624:( 1596:( 1574:( 1559:( 1516:( 1501:( 1445:( 1422:( 1406:( 1384:. 1334:( 1320:s 1293:( 1271:( 1196:i 1158:( 1106:: 1089:i 1086:f 1078:i 1075:f 1068:. 1059:i 1056:f 1045:i 1042:f 1031:: 994:( 900:☎ 881:( 859:( 837:( 815:( 775:( 721:( 706:( 684:( 657:( 643:( 608:( 560:( 524:( 502:( 484:( 470:( 451:( 414:( 404:s 397:s 378:. 376:s 360:s 291:s 270:( 230:☎ 207:( 186:( 157:( 107:( 50:.

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

Index