George Boole formalizes symbolic logic in The Mathematical Analysis of Logic

Historical Context Note

Litencyc Editors (Independent Scholar - Europe)

The Literary Encyclopedia. Volume 1.2.1.07: English Writing and Culture of the Victorian Period, 1837-1901.
Vol. editors: Gillian Fenwick (University of Toronto), Grace Moore (University of Otago)

Domains

Logic and Number theory

Dates

Date of occurrence 1847

Places

United Kingdom (Location)

George Boole was a largely self-taught mathematician who grew up in Lincoln and eventually became Professor of Mathematics at Queen's College in Cork. His father's bankruptcy had forced him to withdraw from school aged 16 to support the family, but he gradually honed an interest in mathematics, and developed a system whereby logical propositions could be represented as algebraic equations. In 1847, he published his new form of algebra in The Mathematical Analysis of Logic. This has since come to form the basis of computational functioning, since the binary of 0 and 1 can be expressed through Boolean algebra.

Please log in to consult the article in its entirety. If you are a member (student of staff) of a subscribing institution (see List), you should be able to access the LE on campus directly (without the need to log in), and off-campus either via the institutional log in we offer, or via your institution's remote access facilities, or by creating a personal user account with your institutional email address. If you are not a member of a subscribing institution, you will need to purchase a personal subscription. For more information on how to subscribe as an individual user, please see under Individual Subcriptions.

95 words

Citation: Editors, Litencyc. "George Boole formalizes symbolic logic in The Mathematical Analysis of Logic". The Literary Encyclopedia. First published 30 August 2013 [https://staging.litencyc.com/php/stopics.php?rec=true&UID=6301, accessed 23 November 2024.]

Save this article

If you need to create a new bookshelf to save this article in, please make sure that you are logged in, then go to your 'Account' here

George Boole formalizes symbolic logic in The Mathematical Analysis of Logic

Domains

Dates

Places

Save this article

Leave Feedback