Engels wiskundige (Lincoln 1815 - Cork 1864), van 1849 af hoogleraar in de wiskunde te Cork, is bekend door zijn studiën op het gebied van de eindige differenties, van de invarianten en van de wiskundige logica. Vooral op dit laatste gebied is zijn werk van doorslaggevende betekenis geweest.
Bibl.: Mathematical Analysis of Logic (1847); Treatise of Differential Equations (1859); Treatise of the Calculus of finite Differences (1860); An investigation of the Laws of Thought (1854).
Lit.: E. W. Beth, Hundred years of symbolic logic. A retrospect on the occasion of the Boole-De Morgan-centenary (Dialectica I, 1948, p. 331-346).
