|
George Boole
Encyclopedia entry from: Encyclopedia of World Biography
George Boole The English mathematician George Boole (1815-1864) invented mathematical, or symbolic, logic...logic, thereby reducing it to a branch of mathematics. George Boole was born on Nov. 2, 1815, in Lincoln. He attended a primary...
|
|
Boole, George
Book article from: World Encyclopedia
Boole, George (1815–64) English mathematician. Largely self-taught, he was appointed (1849) professor of mathematics of Cork...
|
|
Boolean algebra
Book article from: The Columbia Encyclopedia, Sixth Edition
...developed by the English mathematician George Boole c.1850 to permit an algebraic manipulation...and mathematician John Venn interpreted Boole's work and introduced a new method of diagramming Boole's notation; this was later refined by...
|
|
science
Book article from: The Oxford Companion to Irish History
...optics and magnetism. The work of George Francis Fitz‐Gerald...McCullagh (1809–47), George Boole (1815–64), and John...superintendent of the Royal Institution, and George G. Stokes (1819–1903...
|
|
|
set theory
Book article from: World Encyclopedia
set theory Branch of mathematics developed by Georg Cantor in the late 19th century. It is based on George Boole's work on mathematical logic, but it manipulates sets of abstract or real objects rather than logical propositions. It is concerned...
|
|
|
logic
Book article from: World Encyclopedia
...post-Renaissance scholars, including Leibniz , developed the foundations of modern logic. In the 19th century, George Boole outlined symbolic (mathematical) logic, and Gottlob Frege developed the system. Modern formal logic or symbolic...
|
|
|
Frege, Gottlob
Book article from: World Encyclopedia
...x2013;1925) German philosopher, professor of mathematics at the University of Jena (1879–1918). With George Boole , Frege was one of the founders of modern symbolic logic . In his Foundations of Arithmetic (1884), Frege attempted...
|
|
|
symbolic logic
Book article from: The Columbia Encyclopedia, Sixth Edition
...to the development of the foundations of mathematics. Symbolic logic dates from the work of Augustus De Morgan and George Boole in the mid-19th cent. and was further developed by W. S. Jevons, C. S. Peirce, Ernst Schröder, Gottlob...
|
|
Buchanan, Scott (1895–1968)
Encyclopedia entry from: Encyclopedia of Education
...of honors study. During a year-long leave of absence in England in 1931 through 1932, he studied the work of George and Mary Boole and other mathematicians, publishing his findings about symbols in literature and measurement in Symbolic Distance...
|
|
Logic, Symbolic
Encyclopedia entry from: International Encyclopedia of the Social Sciences
...discipline of symbolic logic exploded in complexity as techniques of algebra were applied to issues of logic in the work of George Boole (1815 – 1864), Augustus de Morgan (1806 – 1871), Charles Sanders Peirce (1839 –...
|
