|
Boolean Algebra (structure)
In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operations. A Boolean algebra can be seen as a generalization of a power set algebra or a field of sets, or its elements can be viewed as generalized truth values. It is also a special case of a De Morgan algebra and a Kleene algebra (with involution). Every Boolean algebra gives rise to a Boolean ring, and vice versa, with ring multiplication corresponding to conjunction or meet ∧, and ring addition to exclusive disjunction or symmetric difference (not disjunction ∨). However, the theory of Boolean rings has an inherent asymmetry between the two operators, while the axioms and theorems of Boolean algebra express the symmetry of the theory described by the duality principle. __TOC__ History The term "Boolean algebra" honors George Boole (1815–1864), a self-edu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish this area of study from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning. Algebraic structures, with their associated homomorphisms, form mathematical categories. Category theory is a formalism that allows a unified way for expressing properties and constructions that are similar for various structures. Universal algebra is a related subject that studies types of algebraic structures as single objects. For example, the structure of groups is a single object in universal algebra, which is called the '' variety of groups''. History Before the nineteenth century, alge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Difference
In mathematics, the symmetric difference of two sets, also known as the disjunctive union, is the set of elements which are in either of the sets, but not in their intersection. For example, the symmetric difference of the sets \ and \ is \. The symmetric difference of the sets ''A'' and ''B'' is commonly denoted by A \ominus B, or A\operatorname \triangle B. The power set of any set becomes an abelian group under the operation of symmetric difference, with the empty set as the neutral element of the group and every element in this group being its own inverse. The power set of any set becomes a Boolean ring, with symmetric difference as the addition of the ring and intersection as the multiplication of the ring. Properties The symmetric difference is equivalent to the union of both relative complements, that is: :A\,\triangle\,B = \left(A \setminus B\right) \cup \left(B \setminus A\right), The symmetric difference can also be expressed using the XOR operation ⊕ o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edward V
Edward V (2 November 1470 – mid-1483)R. F. Walker, "Princes in the Tower", in S. H. Steinberg et al, ''A New Dictionary of British History'', St. Martin's Press, New York, 1963, p. 286. was ''de jure'' King of England and Lord of Ireland from 9 April to 25 June 1483. He succeeded his father, Edward IV, upon the latter's death. Edward V was never crowned, and his brief reign was dominated by the influence of his uncle and Lord Protector, the Duke of Gloucester, who deposed him to reign as King Richard III; this was confirmed by the Act entitled '' Titulus Regius'', which denounced any further claims through his father's heirs. Edward V and his younger brother Richard of Shrewsbury, Duke of York, were the Princes in the Tower who disappeared after being sent to heavily guarded royal lodgings in the Tower of London. Responsibility for their deaths is widely attributed to Richard III, but the lack of solid evidence and conflicting contemporary accounts allow for other possi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ernst Schröder (mathematician)
Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Mannheim, Baden, Germany – 16 June 1902 in Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic, by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce. He is best known for his monumental ''Vorlesungen über die Algebra der Logik'' (''Lectures on the Algebra of Logic'', 1890–1905), in three volumes, which prepared the way for the emergence of mathematical logic as a separate discipline in the twentieth century by systematizing the various systems of formal logic of the day. Life Schröder learned mathematics at Heidelberg, Königsberg, and Zürich, under Otto Hesse, Gustav Kirchhoff, and Franz Neumann. After teaching school for a few years, he moved to the Technische Hochschule Darmstadt in 1874. Two years later, he took up a chai ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Sanders Peirce
Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism". Educated as a chemist and employed as a scientist for thirty years, Peirce made major contributions to logic, a subject that, for him, encompassed much of what is now called epistemology and the philosophy of science. He saw logic as the formal branch of semiotics, of which he is a founder, which foreshadowed the debate among logical positivists and proponents of philosophy of language that dominated 20th-century Western philosophy. Additionally, he defined the concept of abductive reasoning, as well as rigorously formulated mathematical induction and deductive reasoning. As early as 1886, he saw that logical operations could be carried out by electrical switching circuits. The same idea was used decades later to produce digital computers. See Also In 1934, the philosopher Paul We ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Jevons
William Stanley Jevons (; 1 September 183513 August 1882) was an English economist and logician. Irving Fisher described Jevons's book ''A General Mathematical Theory of Political Economy'' (1862) as the start of the mathematical method in economics. It made the case that economics, as a science concerned with quantities, is necessarily mathematical. In so doing, it expounded upon the "final" (marginal) utility theory of value. Jevons' work, along with similar discoveries made by Carl Menger in Vienna (1871) and by Léon Walras in Switzerland (1874), marked the opening of a new period in the history of economic thought. Jevons's contribution to the marginal revolution in economics in the late 19th century established his reputation as a leading political economist and logician of the time. Jevons broke off his studies of the natural sciences in London in 1854 to work as an assayer in Sydney, where he acquired an interest in political economy. Returning to the UK in 1859, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Laws Of Thought
''An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities'' by George Boole, published in 1854, is the second of Boole's two monographs on algebraic logic. Boole was a professor of mathematics at what was then Queen's College, Cork (now University College Cork), in Ireland. Review of the contents The historian of logic John Corcoran wrote an accessible introduction to ''Laws of Thought''George Boole. 1854/2003. ''The Laws of Thought'', facsimile of 1854 edition, with an introduction by J. Corcoran. Buffalo: Prometheus Books (2003). Reviewed by James van Evra in Philosophy in Review.24 (2004) 167–169. and a point by point comparison of ''Prior Analytics'' and ''Laws of Thought''.John Corcoran, Aristotle's Prior Analytics and Boole's Laws of Thought, ''History and Philosophy of Logic'', 24 (2003), pp. 261–288. According to Corcoran, Boole fully accepted and endorsed Aristotle's logic. Boole's goals were “to go und ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sir William Hamilton, 9th Baronet
Sir William Hamilton, 9th Baronet FRSE (8 March 1788 – 6 May 1856) was a Scottish metaphysician. He is often referred to as William Stirling Hamilton of Preston, in reference to his mother, Elizabeth Stirling. Early life He was born in rooms at the University of Glasgow, He was from an academic family: his father Professor William Hamilton, had in 1781, on the recommendation of William Hunter, been appointed to succeed his own father, Dr Thomas Hamilton, as Regius Professor of Anatomy, Glasgow; he died in 1790, aged 32. William Hamilton and his younger brother, Thomas Hamilton, were brought up by their mother. Hamilton received his early education at Glasgow Grammar School, except for two years which he spent in a private school at Chiswick in Kent, and in 1807 went as a Snell Exhibitioner, to Balliol College, Oxford. He obtained a first class in ''literis humanioribus'' and took his BA in 1811 (MA 1814). He had been intended for the medical profession, but soon af ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic System
In mathematics, an algebraic structure consists of a nonempty set ''A'' (called the underlying set, carrier set or domain), a collection of operations on ''A'' (typically binary operations such as addition and multiplication), and a finite set of identities, known as axioms, that these operations must satisfy. An algebraic structure may be based on other algebraic structures with operations and axioms involving several structures. For instance, a vector space involves a second structure called a field, and an operation called ''scalar multiplication'' between elements of the field (called '' scalars''), and elements of the vector space (called '' vectors''). Abstract algebra is the name that is commonly given to the study of algebraic structures. The general theory of algebraic structures has been formalized in universal algebra. Category theory is another formalization that includes also other mathematical structures and functions between structures of the same type (homom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
George Boole
George Boole (; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher, and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. He worked in the fields of differential equations and algebraic logic, and is best known as the author of '' The Laws of Thought'' (1854) which contains Boolean algebra. Boolean logic is credited with laying the foundations for the Information Age. Early life Boole was born in 1815 in Lincoln, Lincolnshire, England, the son of John Boole senior (1779–1848), a shoemaker and Mary Ann Joyce. He had a primary school education, and received lessons from his father, but due to a serious decline in business, he had little further formal and academic teaching. William Brooke, a bookseller in Lincoln, may have helped him with Latin, which he may also have learned at the school of Thomas Bainbridge. He was self-taught in modern la ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boolean Algebra (history)
In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operations. A Boolean algebra can be seen as a generalization of a power set algebra or a field of sets, or its elements can be viewed as generalized truth values. It is also a special case of a De Morgan algebra and a Kleene algebra (with involution). Every Boolean algebra gives rise to a Boolean ring, and vice versa, with ring multiplication corresponding to conjunction or meet ∧, and ring addition to exclusive disjunction or symmetric difference (not disjunction ∨). However, the theory of Boolean rings has an inherent asymmetry between the two operators, while the axioms and theorems of Boolean algebra express the symmetry of the theory described by the duality principle. __TOC__ History The term "Boolean algebra" honors George Boole (1815–1864), a self-educated Eng ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
