This British mathematician lived from 1815 to 1864; the return type for a predicate is named after him