Augustus De Morgan

Nascido em Madurai, na Índia, em 1806, e nomeado em 1828, aos vinte e um anos, primeiro professor de matemática do recém-fundado University College London. Deixou o cargo duas vezes, por princípio, em protesto contra a forma como a instituição tratava considerações religiosas nas contratações — o que diz bastante sobre a consistência com que ele levava seus princípios a sério.

As leis de De Morgan dizem que a negação de uma conjunção é a disjunção das negações: NOT (A AND B) equivale a (NOT A) OR (NOT B), e vice-versa. No código, é a reescrita de !(a && b) para !a || !b — a que todo desenvolvedor faz na mão quando uma condição ficou ilegível, e que todo compilador otimizador faz sem perguntar. Ele também introduziu o termo indução matemática em 1838 e lhe deu sua forma moderna, ensinou matemática a Ada Lovelace por correspondência a partir de 1840, e defendeu o trabalho de George Boole nos anos em que quase ninguém mais o fazia.