Boole, George, 1815–64, English mathematician and logician. He became professor at Queen's College, Cork, in 1849. Boole wrote An Investigation of the Laws of Thought (1854) and works on calculus and differential equations. He developed a form of symbolic logic symbolic logic or mathematical logic, formalized system of deductive logic, employing abstract symbols for the various aspects of natural language.
..... Click the link for more information. , called Boolean algebra Boolean algebra , an abstract mathematical system primarily used in computer science and in expressing the relationships between sets (groups of objects or concepts). The notational system was developed by the English mathematician George Boole c.
..... Click the link for more information. , that is of fundamental importance in the study of the foundations of pure mathematics and is also at the basis of computer technology.
(born Nov. 2, 1815, Lincoln, Eng.—died Dec. 8, 1864, Ballintemple, Ire.) British mathematician. Though basically self-taught and lacking a university degree, in 1849 he was appointed professor of mathematics at Queen's College in Ireland. His original and remarkable general symbolic method of logical inference is fully stated in Laws of Thought (1854). Boole argued persuasively that logic should be allied with mathematics rather than with philosophy, and his two-valued algebra of logic, now called Boolean algebra, is used in telephone switching and by electronic digital computers.
Boole, George
Venn, J. “Boole’s Logical System.” Mind, 1876, vol. 1, no. 4.
..... Click the link for more information. , called Boolean algebra Boolean algebra , an abstract mathematical system primarily used in computer science and in expressing the relationships between sets (groups of objects or concepts). The notational system was developed by the English mathematician George Boole c.
..... Click the link for more information. , that is of fundamental importance in the study of the foundations of pure mathematics and is also at the basis of computer technology.
Boole, George
)
George Boole, engraving.
(credit: Courtesy of the trustees of the British Museum; photograph, J.R. Freeman & Co. Ltd.)
| Boole, George - George Boole |
Boole, George
Born Nov. 2, 1815, in Lincoln; died Dec. 8, 1864, in Ballintemple, near Cork. English mathematician and logician.
Although he had no special mathematical education, Boole became a professor of mathematics in 1849 at Queens College in Cork, Ireland, where he taught until his death. He was almost equally interested in logic, mathematical analysis, probability theory, the ethics of B. Spinoza, and the philosophical works of Aristotle and Cicero. In his works Mathematical Analysis of Logic (1847), Logical Calculus (1848), and An Investigation of the Laws of Thought (1854), Boole laid the foundation of mathematical logic. Boolean algebra—special algebraic systems with two operations defined for their elements—is named for Boole.
REFERENCES
Liard, L. Angliiskie reformatory logiki v XIX v. St. Petersburg, 1897. (Translated from French.)Venn, J. “Boole’s Logical System.” Mind, 1876, vol. 1, no. 4.
Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.
| ?Page tools | ||
|---|---|---|
|