# Mathematician:George Boole

## Contents

## Mathematician

Irish mathematician famous for his work in the mathematization of logic, and the invention of what is now called Boolean algebra.

## Nationality

Irish

## History

- Born: 2 Nov 1815, Lincoln, Lincolnshire, England
- Died: 8 Dec 1864, Ballintemple, County Cork, Ireland

## Theorems and Definitions

Many mathematical objects have been named after Boole. However, most were not invented or discovered by him directly, but were derived from the algebra that he did pioneer.

Results named for **George Boole** can be found here.

Definitions of concepts named for **George Boole** can be found here.

## Books and Papers

- 1842:
*On a general method of analysis*(published 1844) - 1847:
*Mathematical Analysis of Logic* - 1854:
*An Investigation of the Laws of Thought* - 1859:
*Treatise on Differential Equations* - 1860:
*Treatise on the Calculus of Finite Differences*(2nd Edition 1872)

## Sources

- 1937: Eric Temple Bell:
*Men of Mathematics*: Chapter $\text{XXIII}$ - 1946: Alfred Tarski:
*Introduction to Logic and to the Methodology of Deductive Sciences*(2nd ed.) ... (previous) ... (next): $\S \text{II}.6$: Logical Constants (footnote) - 1951: Willard Van Orman Quine:
*Mathematical Logic*(revised ed.) ... (next): Introduction - 1959: A.H. Basson and D.J. O'Connor:
*Introduction to Symbolic Logic*(3rd ed.) ... (previous) ... (next): $\S 1.1$: Symbolic Logic and Classical Logic