Augustus De Morgan

Född 1806 i Madurai i Indien och utnämnd 1828, vid tjugoett års ålder, till förste professor i matematik vid det nystartade University College London. Han lämnade posten två gånger i protest mot hur lärosätet hanterade religiösa hänsyn vid tillsättningar, vilket säger något om hur konsekvent han tog principer.

De Morgans lagar säger att negationen av en konjunktion är disjunktionen av negationerna: NOT (A AND B) är detsamma som (NOT A) OR (NOT B), och omvänt. I kod är det omskrivningen från !(a && b) till !a || !b — den som varje utvecklare gör för hand när ett villkor blivit oläsligt, och som varje optimerande kompilator gör utan att fråga. Han införde dessutom begreppet matematisk induktion 1838 och gav det dess moderna form, undervisade från 1840 Ada Lovelace i matematik per brev, och försvarade George Booles arbete under de år då nästan ingen annan gjorde det.