HOME
The Info List - George Boole


--- Advertisement ---



George Boole
George Boole
(/buːl/; 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
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
Boolean logic
is credited with laying the foundations for the information age.[3] Boole maintained that:

No general method for the solution of questions in the theory of probabilities can be established which does not explicitly recognise, not only the special numerical bases of the science, but also those universal laws of thought which are the basis of all reasoning, and which, whatever they may be as to their essence, are at least mathematical as to their form.[4]

Contents

1 Early life 2 Professor at Cork 3 Honours and awards 4 Works

4.1 Differential equations 4.2 Analysis 4.3 Symbolic logic

4.3.1 1854 definition of universe of discourse 4.3.2 Treatment of addition in logic

4.4 Probability theory

5 Death 6 Legacy

6.1 19th-century development 6.2 20th-century development 6.3 21st-century celebration

7 Views 8 Family 9 See also 10 Notes 11 References 12 External links

Early life[edit]

Boole's House and School at 3 Pottergate in Lincoln

Boole was born in Lincoln, Lincolnshire, England, the son of John Boole senior (1779–1848), a shoemaker[5] and Mary Ann Joyce.[6] 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.[7] 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 languages.[2] In fact, when a local newspaper printed his translation of a Latin poem, a scholar accused him of plagiarism under the pretence that he was not capable of such achievements.[8] At age 16, Boole became the breadwinner for his parents and three younger siblings, taking up a junior teaching position in Doncaster
Doncaster
at Heigham's School.[9] He taught briefly in Liverpool.[1]

Greyfriars, Lincoln, which housed the Mechanic's Institute

Boole participated in the Mechanics Institute, in the Greyfriars, Lincoln, which was founded in 1833.[2][10] Edward Bromhead, who knew John Boole through the institution, helped George Boole
George Boole
with mathematics books[11] and he was given the calculus text of Sylvestre François Lacroix by the Rev. George Stevens Dickson of St Swithin's, Lincoln.[12] Without a teacher, it took him many years to master calculus.[1] At age 18, Boole successfully established his own school in Lincoln.[13] Four years later he took over Hall's Academy in Waddington, outside Lincoln, following the death of Robert Hall. In 1840 he moved back to Lincoln, where he ran a boarding school.[1] Boole immediately became involved in the Lincoln Topographical Society, serving as a member of the committee, and presenting a paper entitled, On the origin, progress and tendencies Polytheism, especially amongst the ancient Egyptians, and Persians, and in modern India.[14] on 30 November 1841. Boole became a prominent local figure, an admirer of John Kaye, the bishop.[15] He took part in the local campaign for early closing.[2] With Edmund Larken and others he set up a building society in 1847.[16] He associated also with the Chartist Thomas Cooper, whose wife was a relation.[17]

Plaque from the house in Lincoln

From 1838 onwards Boole was making contacts with sympathetic British academic mathematicians and reading more widely. He studied algebra in the form of symbolic methods, as far as these were understood at the time, and began to publish research papers.[1] Professor at Cork[edit]

The house at 5 Grenville Place in Cork, in which Boole lived between 1849 and 1855, and where he wrote The Laws of Thought (Picture taken during renovation.)

Boole's status as mathematician was recognised by his appointment in 1849 as the first professor of mathematics at Queen's College, Cork (now University College Cork
University College Cork
(UCC)) in Ireland. He met his future wife, Mary Everest, there in 1850 while she was visiting her uncle John Ryall who was Professor of Greek. They married some years later in 1855.[18] He maintained his ties with Lincoln, working there with E. R. Larken in a campaign to reduce prostitution.[19] Honours and awards[edit] Boole was awarded the Keith Medal
Keith Medal
by the Royal Society of Edinburgh
Royal Society of Edinburgh
in 1855 [20] and was elected a Fellow of the Royal Society
Royal Society
(FRS) in 1857.[12] He received honorary degrees of LL.D. from the University of Dublin and the University of Oxford.[21]

Boole's gravestone in Blackrock, Cork, Ireland

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

Plaque beneath Boole's window in Lincoln Cathedral

Works[edit] Boole's first published paper was Researches in the theory of analytical transformations, with a special application to the reduction of the general equation of the second order, printed in the Cambridge Mathematical Journal
Cambridge Mathematical Journal
in February 1840 (Volume 2, no. 8, pp. 64–73), and it led to a friendship between Boole and Duncan Farquharson Gregory, the editor of the journal. His works are in about 50 articles and a few separate publications.[22] In 1841 Boole published an influential paper in early invariant theory.[12] He received a medal from the Royal Society
Royal Society
for his memoir of 1844, On A General Method of Analysis. It was a contribution to the theory of linear differential equations, moving from the case of constant coefficients on which he had already published, to variable coefficients.[23] The innovation in operational methods is to admit that operations may not commute.[24] In 1847 Boole published The Mathematical Analysis of Logic, the first of his works on symbolic logic.[25] Differential equations[edit] Boole completed two systematic treatises on mathematical subjects during his lifetime. The Treatise on Differential Equations[26] appeared in 1859, and was followed, the next year, by a Treatise on the Calculus
Calculus
of Finite Differences,[27] a sequel to the former work. Analysis[edit] In 1857, Boole published the treatise On the Comparison of Transcendents, with Certain Applications to the Theory of Definite Integrals,[28] in which he studied the sum of residues of a rational function. Among other results, he proved what is now called Boole's identity:

m e s

x ∈

R

1 π

a

k

x −

b

k

≥ t

=

a

k

π t

displaystyle mathrm mes left xin mathbb R ,mid ,Re frac 1 pi sum frac a_ k x-b_ k geq tright = frac sum a_ k pi t

for any real numbers ak > 0, bk, and t > 0.[29] Generalisations of this identity play an important role in the theory of the Hilbert transform.[29] Symbolic logic[edit] Main article: Boolean algebra In 1847 Boole published the pamphlet Mathematical Analysis of Logic. He later regarded it as a flawed exposition of his logical system, and wanted An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic
Logic
and Probabilities to be seen as the mature statement of his views. Contrary to widespread belief, Boole never intended to criticise or disagree with the main principles of Aristotle's logic. Rather he intended to systematise it, to provide it with a foundation, and to extend its range of applicability.[30] Boole's initial involvement in logic was prompted by a current debate on quantification, between Sir William Hamilton who supported the theory of "quantification of the predicate", and Boole's supporter Augustus De Morgan
Augustus De Morgan
who advanced a version of De Morgan duality, as it is now called. Boole's approach was ultimately much further reaching than either sides' in the controversy.[31] It founded what was first known as the "algebra of logic" tradition.[32] Among his many innovations is his principle of wholistic reference, which was later, and probably independently, adopted by Gottlob Frege and by logicians who subscribe to standard first-order logic. A 2003 article[33] provides a systematic comparison and critical evaluation of Aristotelian logic and Boolean logic; it also reveals the centrality of wholistic reference in Boole's philosophy of logic. 1854 definition of universe of discourse[edit]

In every discourse, whether of the mind conversing with its own thoughts, or of the individual in his intercourse with others, there is an assumed or expressed limit within which the subjects of its operation are confined. The most unfettered discourse is that in which the words we use are understood in the widest possible application, and for them the limits of discourse are co-extensive with those of the universe itself. But more usually we confine ourselves to a less spacious field. Sometimes, in discoursing of men we imply (without expressing the limitation) that it is of men only under certain circumstances and conditions that we speak, as of civilised men, or of men in the vigour of life, or of men under some other condition or relation. Now, whatever may be the extent of the field within which all the objects of our discourse are found, that field may properly be termed the universe of discourse. Furthermore, this universe of discourse is in the strictest sense the ultimate subject of the discourse.[34]

Treatment of addition in logic[edit] Boole conceived of "elective symbols" of his kind as an algebraic structure. But this general concept was not available to him: he did not have the segregation standard in abstract algebra of postulated (axiomatic) properties of operations, and deduced properties.[35] His work was a beginning to the algebra of sets, again not a concept available to Boole as a familiar model. His pioneering efforts encountered specific difficulties, and the treatment of addition was an obvious difficulty in the early days. Boole replaced the operation of multiplication by the word 'and' and addition by the word 'or'. But in Boole's original system, + was a partial operation: in the language of set theory it would correspond only to disjoint union of subsets. Later authors changed the interpretation, commonly reading it as exclusive or, or in set theory terms symmetric difference; this step means that addition is always defined.[32][36] In fact there is the other possibility, that + should be read as disjunction.[35] This other possibility extends from the disjoint union case, where exclusive or and non-exclusive or both give the same answer. Handling this ambiguity was an early problem of the theory, reflecting the modern use of both Boolean rings and Boolean algebras (which are simply different aspects of one type of structure). Boole and Jevons struggled over just this issue in 1863, in the form of the correct evaluation of x + x. Jevons argued for the result x, which is correct for + as disjunction. Boole kept the result as something undefined. He argued against the result 0, which is correct for exclusive or, because he saw the equation x + x = 0 as implying x = 0, a false analogy with ordinary algebra.[12] Probability theory[edit] The second part of the Laws of Thought contained a corresponding attempt to discover a general method in probabilities. Here the goal was algorithmic: from the given probabilities of any system of events, to determine the consequent probability of any other event logically connected with those events.[37] Death[edit] In late November 1864, Boole walked, in heavy rain, from his home at Lichfield Cottage in Ballintemple[38] to the university, a distance of three miles, and lectured wearing his wet clothes.[39] He soon became ill, developing pneumonia. As his wife believed that remedies should resemble their cause, she put her husband to bed and poured buckets of water over him – the wet having brought on his illness.[39][40][41] Boole's condition worsened and on 8 December 1864,[42] he died of fever-induced pleural effusion. He was buried in the Church of Ireland
Church of Ireland
cemetery of St Michael's, Church Road, Blackrock (a suburb of Cork). There is a commemorative plaque inside the adjoining church.[43] Legacy[edit]

Bust of Boole at University College Cork

Boolean algebra
Boolean algebra
is named after him, as is the crater Boole on the Moon. The keyword Bool represents a Boolean datatype in many programming languages, though Pascal and Java, among others, both use the full name Boolean.[44] The library, underground lecture theatre complex and the Boole Centre for Research in Informatics[45] at University College Cork
University College Cork
are named in his honour. A road called Boole Heights in Bracknell, Berkshire is named after him. 19th-century development[edit] Boole's work was extended and refined by a number of writers, beginning with William Stanley Jevons. Augustus De Morgan
Augustus De Morgan
had worked on the logic of relations, and Charles Sanders Peirce
Charles Sanders Peirce
integrated his work with Boole's during the 1870s.[46] Other significant figures were Platon Sergeevich Poretskii, and William Ernest Johnson. The conception of a Boolean algebra
Boolean algebra
structure on equivalent statements of a propositional calculus is credited to Hugh MacColl (1877), in work surveyed 15 years later by Johnson.[46] Surveys of these developments were published by Ernst Schröder, Louis Couturat, and Clarence Irving Lewis. 20th-century development[edit]

In modern notation, the free Boolean algebra
Boolean algebra
on basic propositions p and q arranged in a Hasse diagram. The Boolean combinations make up 16 different propositions, and the lines show which are logically related.

In 1921 the economist John Maynard Keynes
John Maynard Keynes
published a book on probability theory, A Treatise of Probability. Keynes believed that Boole had made a fundamental error in his definition of independence which vitiated much of his analysis.[47] In his book The Last Challenge Problem, David Miller provides a general method in accord with Boole's system and attempts to solve the problems recognised earlier by Keynes and others. Theodore Hailperin showed much earlier that Boole had used the correct mathematical definition of independence in his worked out problems.[48] Boole's work and that of later logicians initially appeared to have no engineering uses. Claude Shannon
Claude Shannon
attended a philosophy class at the University of Michigan
University of Michigan
which introduced him to Boole's studies. Shannon recognised that Boole's work could form the basis of mechanisms and processes in the real world and that it was therefore highly relevant. In 1937 Shannon went on to write a master's thesis, at the Massachusetts Institute of Technology, in which he showed how Boolean algebra
Boolean algebra
could optimise the design of systems of electromechanical relays then used in telephone routing switches. He also proved that circuits with relays could solve Boolean algebra problems. Employing the properties of electrical switches to process logic is the basic concept that underlies all modern electronic digital computers. Victor Shestakov at Moscow State University (1907–1987) proposed a theory of electric switches based on Boolean logic even earlier than Claude Shannon
Claude Shannon
in 1935 on the testimony of Soviet logicians and mathematicians Sofya Yanovskaya, Gaaze-Rapoport, Roland Dobrushin, Lupanov, Medvedev and Uspensky, though they presented their academic theses in the same year, 1938.[clarification needed] But the first publication of Shestakov's result took place only in 1941 (in Russian). Hence, Boolean algebra
Boolean algebra
became the foundation of practical digital circuit design; and Boole, via Shannon and Shestakov, provided the theoretical grounding for the Information Age.[49]

21st-century celebration[edit]

"Boole's legacy surrounds us everywhere, in the computers, information storage and retrieval, electronic circuits and controls that support life, learning and communications in the 21st century. His pivotal advances in mathematics, logic and probability provided the essential groundwork for modern mathematics, microelectronic engineering and computer science."

—University College Cork.[3]

2015 saw the 200th anniversary of George Boole's birth. To mark the bicentenary year, University College Cork
University College Cork
joined admirers of Boole around the world to celebrate his life and legacy. UCC's George Boole
George Boole
200[50] project, featured events, student outreach activities and academic conferences on Boole's legacy in the digital age, including a new edition of Desmond MacHale's 1985 biography The Life and Work of George Boole: A Prelude to the Digital Age,[51] 2014). The search engine Google
Google
marked the 200th anniversary of his birth on 2 November 2015 with an algebraic reimaging of its Google
Google
Doodle.[3] Litchfield Cottage in Ballintemple, Cork, where Boole lived for the last two years of his life, bears a memorial plaque. His former residence, in Grenville Place, is being restored through a collaboration between UCC and Cork City Council, as the George Boole House of Innovation, after the city council acquired the premises under the Derelict Sites Act.[52] Views[edit] Boole's views were given in four published addresses: The Genius of Sir Isaac Newton; The Right Use of Leisure; The Claims of Science; and The Social Aspect of Intellectual Culture.[53] The first of these was from 1835, when Charles Anderson-Pelham, 1st Earl of Yarborough
Charles Anderson-Pelham, 1st Earl of Yarborough
gave a bust of Newton to the Mechanics' Institute in Lincoln.[54] The second justified and celebrated in 1847 the outcome of the successful campaign for early closing in Lincoln, headed by Alexander Leslie-Melville, of Branston Hall.[55] The Claims of Science was given in 1851 at Queen's College, Cork.[56] The Social Aspect of Intellectual Culture was also given in Cork, in 1855 to the Cuvierian Society.[57] Though his biographer Des MacHale
Des MacHale
describes Boole as an "agnostic deist",[58][59] Boole read a wide variety of Christian theology. Combining his interests in mathematics and theology, he compared the Christian trinity of Father, Son, and Holy Ghost with the three dimensions of space, and was attracted to the Hebrew conception of God as an absolute unity. Boole considered converting to Judaism
Judaism
but in the end was said to have chosen Unitarianism. Boole came to speak against a what he saw as "prideful" scepticism, and instead, favoured the belief in a "Supreme Intelligent Cause."[60] He also declared "I firmly believe, for the accomplishment of a purpose of the Divine Mind."[61][62] In addition, he stated that he perceived "teeming evidences of surrounding design" and concluded that "the course of this world is not abandoned to chance and inexorable fate."[63][64] Two influences on Boole were later claimed by his wife, Mary Everest Boole: a universal mysticism tempered by Jewish thought, and Indian logic.[65] Mary Boole stated that an adolescent mystical experience provided for his life's work:

My husband told me that when he was a lad of seventeen a thought struck him suddenly, which became the foundation of all his future discoveries. It was a flash of psychological insight into the conditions under which a mind most readily accumulates knowledge [...] For a few years he supposed himself to be convinced of the truth of "the Bible" as a whole, and even intended to take orders as a clergyman of the English Church. But by the help of a learned Jew in Lincoln he found out the true nature of the discovery which had dawned on him. This was that man's mind works by means of some mechanism which "functions normally towards Monism."[66]

In Ch. 13 of Laws of Thought Boole used examples of propositions from Baruch Spinoza
Baruch Spinoza
and Samuel Clarke. The work contains some remarks on the relationship of logic to religion, but they are slight and cryptic.[67] Boole was apparently disconcerted at the book's reception just as a mathematical toolset:

George afterwards learned, to his great joy, that the same conception of the basis of Logic
Logic
was held by Leibnitz, the contemporary of Newton. De Morgan, of course, understood the formula in its true sense; he was Boole's collaborator all along. Herbert Spencer, Jowett, and Robert Leslie Ellis understood, I feel sure; and a few others, but nearly all the logicians and mathematicians ignored [953] the statement that the book was meant to throw light on the nature of the human mind; and treated the formula entirely as a wonderful new method of reducing to logical order masses of evidence about external fact.[66]

Mary Boole claimed that there was profound influence — via her uncle George Everest
George Everest
— of Indian thought in general and Indian logic, in particular, on George Boole, as well as on Augustus De Morgan
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
George Boole
on the mathematical atmosphere of 1830–65. What share had it in generating the Vector Analysis and the mathematics by which investigations in physical science are now conducted?[66]

Family[edit] In 1855 he married Mary Everest (niece of George Everest), who later wrote several educational works on her husband's principles. The Booles had five daughters:

Mary Ellen(1856–1908)[68] who married the mathematician and author Charles Howard Hinton
Charles Howard Hinton
and had four children: George (1882–1943), Eric (*1884), William (1886–1909)[69] and Sebastian (1887–1923) inventor of the Jungle gym. After the sudden death of her husband, Mary Ellen committed suicide, in Washington, D.C., in May 1908.[70] Sebastian had three children:

Jean Hinton (married name Rosner) (1917–2002) peace activist. William H. Hinton
William H. Hinton
(1919–2004) visited China in the 1930s and 40s and wrote an influential account of the Communist land reform. Joan Hinton
Joan Hinton
(1921–2010) worked for the Manhattan Project
Manhattan Project
and lived in China from 1948 until her death on 8 June 2010; she was married to Sid Engst.

Margaret, (1858 – 1935) married Edward Ingram Taylor, an artist.

Their elder son Geoffrey Ingram Taylor became a mathematician and a Fellow of the Royal Society. Their younger son Julian was a professor of surgery.

Alicia (1860–1940), who made important contributions to four-dimensional geometry. Lucy Everest (1862–1904), who was the first female professor of chemistry in England. Ethel Lilian (1864–1960), who married the Polish scientist and revolutionary Wilfrid Michael Voynich
Wilfrid Michael Voynich
and was the author of the novel The Gadfly.

See also[edit]

Logic
Logic
portal Mathematics portal Biography portal

Boolean algebra, a logical calculus of truth values or set membership Boolean algebra
Boolean algebra
(structure), a set with operations resembling logical ones Boolean ring, a ring consisting of idempotent elements Boolean circuit, a mathematical model for digital logical circuits. Boolean data type is a data type, having two values (usually denoted true and false) Boolean expression, an expression in a programming language that produces a Boolean value when evaluated Boolean function, a function that determines Boolean values or operators Boolean model (probability theory), a model in stochastic geometry Boolean network, a certain network consisting of a set of Boolean variables whose state is determined by other variables in the network Boolean processor, a 1-bit variables computing unit Boolean satisfiability problem Boole's syllogistic
Boole's syllogistic
is a logic invented by 19th-century British mathematician George Boole, which attempts to incorporate the "empty set." List of Boolean algebra
Boolean algebra
topics List of pioneers in computer science

Notes[edit]

^ a b c d e O'Connor, John J.; Robertson, Edmund F., "George Boole", MacTutor History of Mathematics archive, University of St Andrews . ^ a b c d Hill, p. 149; Google
Google
Books. ^ a b c "Who is George Boole: the mathematician behind the Google doodle". Sydney Morning Herald. 2 November 2015.  ^ Boole, George (2012) [Originally published by Watts & Co., London, in 1952]. Rhees, Rush, ed. Studies in Logic
Logic
and Probability (Reprint ed.). Mineola, NY: Dover Publications. p. 273. ISBN 978-0-486-48826-4. Retrieved 27 October 2015.  ^ "John Boole". Lincoln Boole Foundation. Retrieved 6 November 2015.  ^  Chisholm, Hugh, ed. (1911). "Boole, George". Encyclopædia Britannica (11th ed.). Cambridge University Press.  ^ C., Bruno, Leonard (2003) [1999]. Math and mathematicians : the history of math discoveries around the world. Baker, Lawrence W. Detroit, Mich.: U X L. p. 49. ISBN 0787638137. OCLC 41497065.  ^ C., Bruno, Leonard (2003) [1999]. Math and mathematicians : the history of math discoveries around the world. Baker, Lawrence W. Detroit, Mich.: U X L. pp. 49–50. ISBN 0787638137. OCLC 41497065.  ^ Rhees, Rush. (1954) " George Boole
George Boole
as Student and Teacher. By Some of His Friends and Pupils", Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences. Vol. 57. Royal Irish Academy ^ Society for the History of Astronomy, Lincolnshire. ^ Edwards, A. W. F. "Bromhead, Sir Edward Thomas French". Oxford Dictionary of National Biography (online ed.). Oxford University Press. doi:10.1093/ref:odnb/37224.  (Subscription or UK public library membership required.) ^ a b c d Burris, Stanley. "George Boole". In Zalta, Edward N. Stanford Encyclopedia of Philosophy.  ^ George Boole: Self-Education & Early Career University College Cork ^ A Selection of Papers relative to the County of Lincoln, read before the Lincolnshire
Lincolnshire
Topographical Society, 1841–1842. Printed by W. and B. Brooke, High-Street, Lincoln, 1843. ^ Hill, p. 172 note 2; Google
Google
Books. ^ Hill, p. 130 note 1; Google
Google
Books. ^ Hill, p. 148; Google
Google
Books. ^ Ronald Calinger, Vita mathematica: historical research and integration with teaching (1996), p. 292; Google
Google
Books. ^ Hill, p. 138 note 4; Google
Google
Books. ^ "Keith Awards 1827–1890". Cambridge Journals Online. Retrieved 29 November 2014.  ^ Ivor Grattan-Guinness, Gérard Bornet, George Boole: Selected manuscripts on logic and its philosophy (1997), p. xiv; Google
Google
Books. ^ A list of Boole's memoirs and papers is in the Catalogue of Scientific Memoirs published by the Royal Society, and in the supplementary volume on differential equations, edited by Isaac Todhunter. To the Cambridge Mathematical Journal
Cambridge Mathematical Journal
and its successor, the Cambridge and Dublin Mathematical Journal, Boole contributed 22 articles in all. In the third and fourth series of the Philosophical Magazine are found 16 papers. The Royal Society
Royal Society
printed six memoirs in the Philosophical Transactions, and a few other memoirs are to be found in the Transactions of the Royal Society of Edinburgh
Royal Society of Edinburgh
and of the Royal Irish Academy, in the Bulletin de l'Académie de St-Pétersbourg for 1862 (under the name G. Boldt, vol. iv. pp. 198–215), and in Crelle's Journal. Also included is a paper on the mathematical basis of logic, published in the Mechanic's Magazine in 1848. ^ Andrei Nikolaevich Kolmogorov, Adolf Pavlovich Yushkevich
Adolf Pavlovich Yushkevich
(editors), Mathematics of the 19th Century: function theory according to Chebyshev, ordinary differential equations, calculus of variations, theory of finite differences (1998), pp. 130–2; Google
Google
Books. ^ Jeremy Gray, Karen Hunger Parshall, Episodes in the History of Modern Algebra
Algebra
(1800–1950) (2007), p. 66; Google
Google
Books. ^ George Boole, The Mathematical Analysis of Logic, Being an Essay towards a Calculus
Calculus
of Deductive Reasoning (London, England: Macmillan, Barclay, & Macmillan, 1847). ^ George Boole, A treatise on differential equations (1859), Internet Archive. ^ George Boole, A treatise on the calculus of finite differences (1860), Internet Archive. ^ Boole, George (1857). "On the Comparison of Transcendents, with Certain Applications to the Theory of Definite Integrals". Philosophical Transactions
Philosophical Transactions
of the Royal Society
Royal Society
of London. 147: 745–803. doi:10.1098/rstl.1857.0037. JSTOR 108643.  ^ a b Cima, Joseph A.; Matheson, Alec; Ross, William T. (2005). "The Cauchy transform". Quadrature domains and their applications. Oper. Theory Adv. Appl. 156. Basel: Birkhäuser. pp. 79–111. MR 2129737.  ^ John Corcoran, Aristotle's Prior Analytics and Boole's Laws of Thought, History and Philosophy of Logic, vol. 24 (2003), pp. 261–288. ^ Grattan-Guinness, I. "Boole, George". Oxford Dictionary of National Biography (online ed.). Oxford University Press. doi:10.1093/ref:odnb/2868.  (Subscription or UK public library membership required.) ^ a b Witold Marciszewski (editor), Dictionary of Logic
Logic
as Applied in the Study of Language (1981), pp. 194–5. ^ Corcoran, John (2003). "Aristotle's Prior Analytics and Boole's Laws of Thought". History and Philosophy of Logic, 24: 261–288. Reviewed by Risto Vilkko. Bulletin of Symbolic Logic, 11(2005) 89–91. Also by Marcel Guillaume, Mathematical Reviews 2033867 (2004m:03006). ^ George Boole. 1854/2003. The Laws of Thought, facsimile of 1854 edition, with an introduction by John Corcoran. Buffalo: Prometheus Books (2003). Reviewed by James van Evra in Philosophy in Review.24 (2004) 167–169. ^ a b Andrei Nikolaevich Kolmogorov, Adolf Pavlovich Yushkevich, Mathematics of the 19th Century: mathematical logic, algebra, number theory, probability theory (2001), pp. 15 (note 15)–16; Google Books. ^ Burris, Stanley. "The Algebra
Algebra
of Logic
Logic
Tradition". In Zalta, Edward N. Stanford Encyclopedia of Philosophy.  ^ Boole, George (1854). An Investigation of the Laws of Thought. London: Walton & Maberly. pp. 265–275.  ^ "Dublin City Quick Search: Buildings of Ireland: National Inventory of Architectural Heritage".  ^ a b Barker, Tommy (13 June 2015). "Have a look inside the home of UCC maths professor George Boole". Irish Examiner. Retrieved 6 November 2015.  ^ C., Bruno, Leonard (2003) [1999]. Math and mathematicians : the history of math discoveries around the world. Baker, Lawrence W. Detroit, Mich.: U X L. p. 52. ISBN 0787638137. OCLC 41497065.  ^ Stanford Encyclopedia of Philosophy ^ "George Boole". Encyclopædia Britannica. Encyclopædia Britannica, inc. 30 January 2017. Retrieved 7 December 2017.  ^ "Death-His Life-- George Boole
George Boole
200".  ^ P. J. Brown, Pascal from Basic, Addison-Wesley, 1982. ISBN 0-201-13789-5, page 72 ^ "Boole Centre for Research in Informatics".  ^ a b Ivor Grattan-Guinness, Gérard Bornet, George Boole: Selected manuscripts on logic and its philosophy (1997), p. xlvi; Google
Google
Books. ^ Chapter XVI, p. 167, section 6 of A treatise on probability, volume 4: "The central error in his system of probability arises out of his giving two inconsistent definitions of 'independence' (2) He first wins the reader's acquiescence by giving a perfectly correct definition: "Two events are said to be independent when the probability of either of them is unaffected by our expectation of the occurrence or failure of the other." (3) But a moment later he interprets the term in quite a different sense; for, according to Boole's second definition, we must regard the events as independent unless we are told either that they must concur or that they cannot concur. That is to say, they are independent unless we know for certain that there is, in fact, an invariable connection between them. "The simple events, x, y, z, will be said to be conditioned when they are not free to occur in every possible combination; in other words, when some compound event depending upon them is precluded from occurring. ... Simple unconditioned events are by definition independent." (1) In fact as long as xz is possible, x and z are independent. This is plainly inconsistent with Boole's first definition, with which he makes no attempt to reconcile it. The consequences of his employing the term independence in a double sense are far-reaching. For he uses a method of reduction which is only valid when the arguments to which it is applied are independent in the first sense, and assumes that it is valid if they are independent in second sense. While his theorems are true if all propositions or events involved are independent in the first sense, they are not true, as he supposes them to be, if the events are independent only in the second sense." ^ "ZETETIC GLEANINGS".  ^ "That dissertation has since been hailed as one of the most significant master's theses of the 20th century. To all intents and purposes, its use of binary code and Boolean algebra
Boolean algebra
paved the way for the digital circuitry that is crucial to the operation of modern computers and telecommunications equipment."Emerson, Andrew (8 March 2001). "Claude Shannon". United Kingdom: The Guardian.  ^ " George Boole
George Boole
200 – George Boole
George Boole
Bicentenary Celebrations".  ^ Cork University Press ^ " Boolean logic
Boolean logic
meets Victorian gothic in leafy Cork suburb".  ^ 1902 Britannica article by Jevons; online text. ^ James Gasser, A Boole Anthology: recent and classical studies in the logic of George Boole
George Boole
(2000), p. 5; Google
Google
Books. ^ Gasser, p. 10; Google
Google
Books. ^ Boole, George (1851). The Claims of Science, especially as founded in its relations to human nature; a lecture. Retrieved 4 March 2012.  ^ Boole, George (1855). The Social Aspect of Intellectual Culture: an address delivered in the Cork Athenæum, May 29th, 1855 : at the soirée of the Cuvierian Society. George Purcell & Co. Retrieved 4 March 2012.  ^ International Association for Semiotic Studies; International Council for Philosophy and Humanistic Studies; International Social Science Council (1995). "A tale of two amateurs". Semiotica, Volume 105. Mouton. p. 56. MacHale's biography calls George Boole
George Boole
'an agnostic deist'. Both Booles' classification of 'religious philosophies' as monistic, dualistic, and trinitarian left little doubt about their preference for 'the unity religion', whether Judaic or Unitarian.  access-date= requires url= (help) ^ International Association for Semiotic Studies; International Council for Philosophy and Humanistic Studies; International Social Science Council (1996). Semiotica, Volume 105. Mouton. p. 17. MacHale does not repress this or other evidence of the Boole's nineteenth-century beliefs and practices in the paranormal and in religious mysticism. He even concedes that George Boole's many distinguished contributions to logic and mathematics may have been motivated by his distinctive religious beliefs as an "agnostic deist" and by an unusual personal sensitivity to the sufferings of other people.  access-date= requires url= (help) ^ Boole, George. Studies in Logic
Logic
and Probability. 2002. Courier Dover Publications. p. 201-202 ^ Boole, George. Studies in Logic
Logic
and Probability. 2002. Courier Dover Publications. p. 451 ^ Some-Side of a Scientific Mind (2013). pp. 112–3. The University Magazine, 1878. London: Forgotten Books. (Original work published 1878) ^ Concluding remarks of his treatise of "Clarke and Spinoza", as found in Boole, George (2007). An Investigation of the Laws of Thought. Cosimo, Inc. Chap . XIII. p. 217-218. (Original work published 1854) ^ Boole, George (1851). The claims of science, especially as founded in its relations to human nature; a lecture, Volume 15. p. 24 ^ Jonardon Ganeri (2001), Indian Logic: a reader, Routledge, p. 7, ISBN 0-7007-1306-9; Google
Google
Books. ^ a b c Boole, Mary Everest Indian Thought and Western Science in the Nineteenth Century, Boole, Mary Everest Collected Works eds. E. M. Cobham and E. S. Dummer, London, Daniel 1931 pp.947–967 ^ Grattan-Guinness and Bornet, p. 16; Google
Google
Books. ^ "Family and Genealogy – His Life George Boole
George Boole
200". Georgeboole.com. Retrieved 7 March 2016.  ^ Smothers In Orchard in The Los Angeles Times v. 27 February 1909. ^ `My Right To Die´, Woman Kills Self in The Washington Times v. 28 May 1908 (PDF); Mrs. Mary Hinton A Suicide in The New York Times v. 29 May 1908 (PDF).

References[edit]

University College Cork, George Boole
George Boole
200 Bicentenary Celebration, GeorgeBoole.com.  Chisholm, Hugh, ed. (1911). "Boole, George". Encyclopædia Britannica (11th ed.). Cambridge University Press.  Ivor Grattan-Guinness, The Search for Mathematical Roots 1870–1940. Princeton University Press. 2000. Francis Hill (1974), Victorian Lincoln; Google
Google
Books. Des MacHale, George Boole: His Life and Work. Boole Press. 1985. Des MacHale, The Life and Work of George Boole: A Prelude to the Digital Age (new edition). Cork University Press. 2014 Stephen Hawking, God Created the Integers. Running Press, Philadelphia. 2007.

External links[edit]

Find more aboutGeorge Booleat's sister projects

Media from Wikimedia Commons Quotations from Wikiquote Texts from Wikisource Data from Wikidata

Roger Parsons' article on Boole George Boole: A 200-Year View by Stephen Wolfram. Works by George Boole
George Boole
at Project Gutenberg Works by or about George Boole
George Boole
at Internet Archive George Boole's work as first Professor of Mathematics in University College, Cork, Ireland George Boole
George Boole
website Author profile in the database zbMATH

Authority control

WorldCat Identities VIAF: 49282014 LCCN: n83144364 ISNI: 0000 0001 1061 4506 GND: 118661655 SELIBR: 326365 SUDOC: 028119339 BNF: cb122540641 (data) NLA: 35704306 NDL: 00433839 NKC: ola2002153861 BNE: XX1165

.