laitimes

George Bull, the father of binary logic

George Boole was a British mathematician who proposed a set of logical theories and algebraic methods that today form the basis of all electronic devices, including computers. He came from humble origins and taught himself mathematics from classical mathematicians such as Newton, Laplace, and Lagrange

At the age of 20, although he did not have any formal education, he had opened his first school. He wrote several articles on logical theory and was the first Englishman to compare algebraic notation to notations that can be represented in logical forms and syllogism.

George Bull (1815-1864) was a self-taught mathematician

George Bull, the father of binary logic

George Bull was born into a working-class family in Lincolnshire, England. His father, John Bull, was a shoemaker and the first to teach him mathematics. His mother was a maid.

George Bull had no formal education other than attending elementary school. Instead, he would use his leisure time to read the works of famous mathematicians and teach himself classical and foreign languages such as Latin, French, and Greek.

By the time he was 16, his father's business began to decline. He had to help his family earn money, so he decided to teach at the local elementary school and tutor the students. He also taught Latin as an alternative means of subsistence. At the age of 20, he opened his first private school to support the education of local children. He served as principal for 15 years, during which time he was self-taught, studying differential equations, variational calculus, and other mathematical subjects.

George Bull, the father of binary logic

By 1841, he began publishing papers on algebra, solving equations using symbolic methods. He submitted his paper to the Cambridge Journal of Mathematics. His dissertation, Studies in Analytical Transformation Theory, focuses on algebraic problems in differential equations and linear transformations, in which he emphasizes the concept of invariance. His paper, published in the Philosophical Journal of the Royal Society, discusses how algebra and calculus can be combined. This earned him the First Gold Medal in Mathematics of the Royal Society

In 1847, he described in detail how logic was more closely linked to mathematics than philosophy. He gradually became famous and was appointed Professor of Mathematics at Queen's College Cork, Ireland. There he met his wife, Mary Everace (also a mathematician).

George Bull, the father of binary logic

In 1854, Boole published his most famous paper, creating the binary system used in computers and all electronic devices today. This is an extension of Aristotle's system of logic. Boolean algebras are based on Aristotle's system of logic and are based primarily on two quantities: 1 and 0.

In The Law of Thought, Boole also created a general method of probability that determines the subsequent probabilities of any other event related to the logic of any event from a given probability of any event system.

In 1857 he was elected a fellow of the Royal Society. Two years later, he wrote the sequel to the Law of Thought series, The Theory of Finite Difference Calculus, which discussed the solution of differential equations.

George Bull, the father of binary logic

In 1858 he was granted honorary membership of the Cambridge Philosophical Society. The following year he was also awarded an honorary degree from Oxford University. In December 1864, Braugh braved a storm and walked three miles from his home to Queen's College, probably because he contracted pneumonia and never recovered. That year, he died in Ballin Temple, Cork, Ireland, at the age of 49. There is a crater on the moon named after him.

His academic career can be summed up in the words of Augustus de Morgan, a famous 19th-century British mathematician and professor of mathematics at University College London:

Boolean's logical system is just one of many proofs of genius and patience combined... The algebraic notation process invented as a numerical computation tool should be able to express every thought and act and provide grammar and dictionary for an all-encompassing logical system, which people will not believe unless proven.