# Biography of George Boole

George Buhl is known as the author of symbolic logic. He is considered one of the founders of computer science.

###### Childhood and youth

Bull’s father, George Bull, was a merchant in London and it was he who gave the first lessons in mathematics to his son. He also taught his son the manufacture of optical measuring instruments. Bul was more a self-taught mathematician, although both his father and the school gave him some knowledge of mathematics. He had to work to help his family after his father’s business fell into decay.

###### Career

Boule worked as an assistant teacher in Doncaster, and also briefly taught in Liverpool. For some time he was associated with the Lincoln Institute of Mechanics, which was opened in 1833. And in 1834 he opened his school in Lincoln.

During this time, he devoted much time to social work and adult education. He founded the “Refuge of Repentant Women”, the purpose of which was the rehabilitation of prostitutes.

These papers dealt with differential equations and the algebraic problem of linear transformation by isolating the idea of invariant linear transformation through the isolation of the idea of invariance.

In 1840, he returned to Lincoln to lead a closed school.

In 1841 he discovered the theory of invariants – a new branch of mathematics. This section of mathematics was subsequently the source of Einstein’s inspiration.

In 1844 he analyzed the combined methods of algebra and calculus in a publication titled “Philosophical Works of the Royal Society.”

In 1847, together with E. R. Larken, he founded the housing and construction society. In the same year in the pamphlet “Mathematical Analysis of Logic” he expressed

The innovative contribution of Boole to mathematics was really effective in creating a digital computer and electronic circuits.

In 1849 he became the first professor of mathematics at King’s College in Cork, Ireland.

In 1854, he was engaged in algebra and logic, and his writings in this area are better known as Boolean algebra. In the same year he introduced the concept of a symbolic method of logical inference in the publication “Laws of thought.”

Boolean algebra serves as the basis for the analysis of the validity of logical judgments, since it has the binary nature of statements that can prove to be either positive or false.

The binary method and logic elements of Boolean logic are used in telephone switching and in electronic computers during their creation and operation.

In the second part of the “Law of Thought”, Buhl tried to discover a general method in calculating probabilities.

In 1857, Bul presented the publication “On the comparison of transcendental functions” with certain superpositions on the theory of definite integrals. In the publication, he studies the sum of the remainders of a rational function. A part of the study was the proof of the Boolean identity.

In 1859, Boul published the Treatise on Differential Equations, in which he reported on the general symbolic method; in 1860 he publishes an extension with the title “A Treatise on the Calculus of Finite Differences.”

Boole contributed to such sciences as: electronics, mathematics, information theory, logic, cybernetics and computer science.

###### Awards and achievements

The first gold medal of the Royal Society, 1844.

Member of the Royal Society in London, 1857.

Honorary position of doctor of law at Dublin and Oxford universities, 1857.

###### Personal life and heritage

George Buhl married Mary Everest in 1854. The couple had five daughters. Boule died in 1864 due to pneumonia.

Boolean algebra and the crater Bull on the Moon are named after George Boole.

In many programming languages, “boolean type” is a logical data type.

The library, a complex of underground lecture halls and the Boole Center for Research in Informatics at the Irish National University in Cork are named after George Boole.

**Biography of George Boole**