As a result, many of the advances achieved by Leibniz were reachieved by logicians like George Boole and Augustus De Morgan completely independent of Leibniz.

The modern rigorous and systematic treatment of the principle came only in the 19th century, with George Boole, Augustus de Morgan, Charles Sanders Peirce ,< ref >

* 1815 – George Boole, English mathematician and philosopher ( d. 1864 )

Augustus De Morgan and George Boole improved the exposition of the theory.

The term was coined by the mathematician Hoppe, writing in German, and was later introduced to the English Mathematicians by Alicia Boole Stott, the daughter of logician George Boole.

Notable Unitarians include Béla Bartók the 20th century composer, Ralph Waldo Emerson and Theodore Parker in theology and ministry, Charles Darwin, Joseph Priestley and Linus Pauling in science, George Boole in mathematics, Susan B. Anthony, John Locke in civil government, and Florence Nightingale in humanitarianism and social justice, Charles Dickens, John Bowring and Samuel Taylor Coleridge in literature, Frank Lloyd Wright in arts, Josiah Wedgwood in industry, Thomas Starr King in ministry and politics, and Charles William Eliot in education.

* December 8 – George Boole, English mathematician and philosopher ( b. 1815 )

* November 2 – George Boole, English mathematician and philosopher ( d. 1864 )

George Boole (; 2 November 1815 – 8 December 1864 ) was an English mathematician, philosopher and logician.

George Boole's father, John Boole ( 1779 – 1848 ), was a tradesman in Lincoln and gave him lessons.

Edward Bromhead, who knew John Boole through the Institution, helped George Boole with mathematics books ; and he was given the calculus text of Sylvestre François Lacroix by Rev.

Detail of stained glass window in Lincoln Cathedral dedicated to George Boole.

Mary Boole claimed profound influence ( via her uncle George Everest ) of Indian thought on Boole, as well as Augustus De Morgan and Charles Babbage:

Think what must have been the effect of the intense Hinduizing of three such men as Babbage, De Morgan, and George Boole on the mathematical atmosphere of 1830-1865.

* Des MacHale, George Boole: His Life and Work.

bs: George Boole

ca: George Boole

cs: George Boole

da: George Boole

de: George Boole

et: George Boole

es: George Boole

In 1854 George Boole published An Investigation into Laws of Thought ..., which lays the foundations for Boolean algebra, which is later used in information retrieval.

In the introduction to his treatise An Investigation of the Laws of Thought, George Boole wrote: “ There exist, indeed, certain general principles founded in the very nature of language, by which the use of symbols, which are but the elements of scientific language, is determined.

The Laws of Thought, more precisely, An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, was an influential 19th century book by George Boole, the second of his two monographs on algebraic logic.

13 of Laws of Thought Boole used examples of propositions from Benedict Spinoza and Samuel Clarke.

The term universe of discourse is generally attributed to Augustus De Morgan ( 1846 ) and was also used by George Boole ( 1854 ) in his Laws of Thought.

# George Boole – The Laws of Thought

Since 1824, Indian logic attracted the attention of many Western scholars, and has had an influence on important 19th-century logicians such as Charles Babbage, Augustus De Morgan, and particularly George Boole, as confirmed by his wife Mary Everest Boole who wrote in an " open letter to Dr Bose " titled " Indian Thought and Western Science in the Nineteenth Century " written in 1901 < ref >

Indian logic attracted the attention of many Western scholars, and has had an influence on pioneering 19th-century logicians such as Charles Babbage, Augustus De Morgan, and particularly George Boole, as confirmed by his wife Mary Everest Boole in an " open letter to Dr Bose " titled " Indian Thought and Western Science in the Nineteenth Century " written in 1901:

Peano was unaware of Frege's work and independently recreated his logical apparatus based on the work of Boole and Schröder.

In 1847 Boole published The Mathematical Analysis of Logic, the first of his works on symbolic logic.

Two systematic treatises on mathematical subjects were completed by Boole during his lifetime.

During the last few years of his life Boole worked on a second edition of his Differential Equations, and part of his last vacation was spent in the libraries of the Royal Society and the British Museum ; but it was left incomplete.

Boolean algebra is named after him, as is the crater Boole on the Moon.

Two influences on Boole were later claimed by his wife, Mary Everest Boole: a universal mysticism tempered by Jewish thought, and Indian logic .. Mary Boole stated that an adolescent mystical experience provided for his life's work:

* Roger Parsons ' article on Boole -- THIS LINK 404s

Boole ’ s system was based on binary, a yes-no, on-off approach that consisted the three most basic operations: AND, OR, and NOT.

Schröder's early work on formal algebra and logic was written in ignorance of the British logicians George Boole and Augustus De Morgan.

She married Reverend William H. Boole of the Willet Street Methodist Church on July 3, 1883.

By convention these features are identified on lunar maps by placing the letter on the side of the crater midpoint that is closest to Boole.

It lies just to the north-northeast of the crater Smoluchowski, and to the east-southeast of Boole on the near side.

" In another story, a reporter wrote: " Both companies sell software that makes computer networks run smoothly and that manages data bases on mainframe computers, but Boole & Babbage, of San Jose, California, gains 58 percent of its revenue from international sales, while the Houston-based BMC gets 35 percent of its revenue from such sales.

It is located midway between the crater Boole to the south-southeast and, on the far side of the Moon, the crater Lindblad.

At the beginning of the twentieth century Pieter Hendrik Schoute started to work on polytopes together with Alicia Boole Stott.