18.06.2013 Views

B chapter.indd - Charles Babbage Institute - University of Minnesota

B chapter.indd - Charles Babbage Institute - University of Minnesota

B chapter.indd - Charles Babbage Institute - University of Minnesota

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Erwin Tomash Library<br />

Boole, George Boole, George<br />

Edition: 2nd<br />

Language: Italian<br />

Binding: original paper wrappers<br />

Pagination: pp. [4], 72<br />

Collation: * 2 A–I 4<br />

Size: 261x191 mm<br />

Reference: Smi Rara, p. 347; Rcdi BMI, Vol. I, p. 154<br />

This is a set <strong>of</strong> tables for converting units <strong>of</strong> measurement<br />

used in and around Milan. The first two pages provide a<br />

very short explanation, and the rest <strong>of</strong> the work is made<br />

up <strong>of</strong> the tables.<br />

Illustrations available:<br />

Title page<br />

Page <strong>of</strong> tables<br />

B 198<br />

Boole, George (1815–1864)<br />

An investigation <strong>of</strong> the laws <strong>of</strong> thought on which<br />

are founded the mathematical theories <strong>of</strong> logic and<br />

probabilities<br />

Year: 1854<br />

Place: London<br />

Publisher: Macmillan<br />

Edition: 1st<br />

Language: English<br />

Binding: modern leather; gilt spine; red leather label<br />

Pagination: pp. [12], 426, 6<br />

Collation: * 6 B–2E 8<br />

Size: 224x138 mm<br />

The son <strong>of</strong> a Lincolnshire cobbler who was also an<br />

amateur mathematician and lens grinder, George Boole<br />

was a promising student, but his family circumstances<br />

prevented him from obtaining more than an ordinary<br />

school education. After leaving school at age 15, he<br />

found work as an assistant teacher in the area and, with<br />

his father’s encouragement, set up his own school. In<br />

his spare time he mastered Latin, Greek and several<br />

European languages, as well as mathematics.<br />

He found ample opportunity to satisfy his wide-ranging<br />

intellectual curiosity when, in 1834, the Mechanics<br />

Institution was founded in Lincoln, and Boole was<br />

hired to be in charge <strong>of</strong> the reading room. His first<br />

mathematical paper appeared in 1840, when he was 25<br />

years old, and in 1844 his seminal paper, “On a general<br />

method <strong>of</strong> analysis,” appeared in the Philosophical<br />

Transactions <strong>of</strong> the Royal Society, which resulted in<br />

his receiving the first Royal Society Gold Medal for<br />

Mathematics. His most famous work, which established<br />

the principles <strong>of</strong> symbolic logic, is The mathematical<br />

analysis <strong>of</strong> logic, being an essay towards a calculus <strong>of</strong><br />

deductive reasoning, published in 1847.<br />

B 198<br />

In 1849, he was appointed to the pr<strong>of</strong>essorship <strong>of</strong><br />

mathematics at Queen’s College, Cork, despite his lack<br />

<strong>of</strong> formal qualifications. He made many contributions<br />

to mathematics, but his most significant work was the<br />

creation <strong>of</strong> mathematical logic. Several people, most<br />

notably Leibniz and DeMorgan, had attempted some<br />

type <strong>of</strong> algebraic treatment <strong>of</strong> logic prior to Boole, but<br />

none had managed to overcome the difficulties that<br />

arose when considering anything beyond the most trivial<br />

situations.<br />

Boole’s entry into this field was due to a simple argument<br />

between DeMorgan and the Scottish philosopher W.<br />

Hamilton. Hamilton had derided some <strong>of</strong> DeMorgan’s<br />

attempts to introduce the systems <strong>of</strong> algebra into logic,<br />

asserting that logic was the realm <strong>of</strong> the philosopher and<br />

that mathematics was dangerous and useless. Boole,<br />

using Hamilton’s own arguments, showed that logic was<br />

not part <strong>of</strong> philosophy. He then proceeded to examine<br />

whether logic, like geometry, might be founded on a<br />

group <strong>of</strong> axioms (see entry for Boole, The mathematical<br />

analysis <strong>of</strong> logic, 1847).<br />

In recent times, Boolean logic has found widespread use<br />

in the design <strong>of</strong> digital computers and communications<br />

systems.<br />

In the present book, Boole applied algebraic methods to<br />

logic and initiated a revolution in mathematics, to say<br />

nothing <strong>of</strong> philosophy and linguistics. While his earlier<br />

171

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!