Only show
results for:

Topics related to " George Boole"

George Boole
George Boole 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 , called Boolean algebra , that is ... Read more
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.1850 to permit an algebraic manipulation of logic... Read more
logic
logic the systematic study of valid inference. A distinction is drawn between logical validity and truth. Validity merely refers to formal properties of the process of inference. Thus, a conclusion whose value is true may be drawn from an invalid argument, and one whose value is false, from a valid... Read more
symbolic logic
symbolic logic or mathematical logic, formalized system of deductive logic, employing abstract symbols for the various aspects of natural language. Symbolic logic draws on the concepts and techniques of mathematics, notably set theory, and in turn has contributed to the development of the fou... Read more

Encyclopedia entries related to " George Boole"

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 University... Read more
George Boole
Encyclopedia entry from: Encyclopedia of World Biography George Boole The English mathematician George Boole (1815-1864) invented mathematical, or symbolic, logic and...deductive logic, thereby reducing it to a branch of mathematics. George Boole was born on Nov. 2, 1815, in Lincoln. He attended a primary... Read more
Boolean algebra
Book article from: The Columbia Encyclopedia, Sixth Edition ...was 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 the... Read more
Frege, Gottlob
Book article from: World Encyclopedia ...Gottlob (1848–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... Read more
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... Read more
symbolic logic
Book article from: The Columbia Encyclopedia, Sixth Edition ...contributed 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 Frege, Giuseppe... Read more
logic
Book article from: World Encyclopedia ...Various 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 logic... Read more
science
Book article from: The Oxford Companion to Irish History ...gases. In physics, Nicolas Callan (1799–1864) and George Johnston Stoney (1826–1911) worked on electricity...known for his studies in optics and magnetism. The work of George Francis Fitz‐Gerald (1851–1901) stimulated...figures were his rival James McCullagh (1809–47), ... Read more

Dictionary entries related to " George Boole"

Boolean
Book article from: The Oxford Dictionary of Phrase and Fable ...propositions by means of the binary digits 0 (false) and 1 (true), especially in computing and electronics. The name comes from George Boole (1815–64), English mathematician, from whose ideas the study of mathematical or symbolic logic mainly developed... Read more
Boolean algebra
Book article from: A Dictionary of Computing ...and ∨ respectively; set complement fills the role of Boolean algebra complement. Boolean algebras, named for George Boole, the 19th-century English mathematician, are fundamental to many aspects of computing – logic design, logic itself... Read more

Related newspaper, magazine, and trade journal articles from HighBeam Research

Speaking your mind.(Book review)
Magazine article from: The American Conservative; 10/8/2007; ; 700+ words ; ...BACK IN 1854, English mathematician George Boole published a book entitled An Investigation...Thought. The objects of his inquiry, Boole tells us, were the fundamental laws...of the human mind. Looking back on Boole's work a half-century later, Bertrand... Read more
Equations from God; pure mathematics and Victorian faith.(Brief Article)(Book Review)
Magazine article from: Reference & Research Book News; 5/1/2008; 91 words ; ...studies in the history of mathematics BL265 Cohen (history, George Mason U.) explores the comingling of science and religion...Benjamin Peirce and the divinity of mathematics at Harvard, George Boole and the genesis of symbolic logic, and Augustus de Morgan... Read more
London & the 2012 Olympics: all of the metropolis becomes a World Festival.
Magazine article from: The Architectural Review; 9/1/2007; 682 words ; ...Peter Barbalov Mike Barry Neil Bennett Nigel Bidwell Jeremy Boole David Davies Toby Denham Chris Dyson Eugene Dreyer David Edwards...Gordon-Clark Robert Taverner Grosvenor Roger Madelin, Argent St. George Roger Milburn Royal College of Music Royal Parks Agency Scott... Read more
Finding what you need: using internet search engines.
Magazine article from: Leadership; 9/1/2000; ; 700+ words ; ...Boolean logic Boolean logic is named for its inventor, George Boole, one of the greatest mathematicians of the 19th century...determination of which objects go in which groups. (Technically, Boole proposed that comparison results could be expressed as... Read more
Runners join Hangover race.
Newspaper article from: Matlock Mercury (Matlock, England); 1/3/2007; 611 words ; ...Page (Ron Hill Sports/M40) 40.20, 55 Ian Wallis (Long Eaton RC/M40) 40.29, 56 Barry Boole (Sinfin RC/M60) 40.42, 57 Stephen Hobbs (Ripley RC/F) 40.57, 58 George Harding (M40) 41.12, 59 Maddy Collinge (Mansfield HAC/F50) 41.17, 60 Damien Cowlishaw... Read more
Hintikka's alternatives.(Jaakko Hintikka)(Critical essay)
Magazine article from: Junctures: The Journal for Thematic Dialogue; 6/1/2006; ; 700+ words ; ...palatable phrase--the model-theoretic approach . Among those who subscribed to the model-theoretic view we may number George Boole, Charles Sanders Peirce, David Hilbert, Edmund Husserl, Karl Popper, Alfred Tarski, Kurt Godel, the later Carnap, Patrick... Read more