TiMELiNES

1854

George Boole formalizes symbolic logic

Boolean algebra later became fundamental to digital computing and machine reasoning.

Canonical milestoneBritain1 timeline

Context

Appears In

Authority

Sources

Taxonomy

Tags