Augustus De Morgan

Geboren 1806 in Madurai, Indien, und 1828 mit einundzwanzig Jahren zum ersten Mathematikprofessor am neu gegründeten University College London berufen. Er legte den Posten zweimal aus Prinzip nieder, weil das College bei Berufungen religiöse Erwägungen einfließen ließ — ein Hinweis darauf, wie konsequent er seine Grundsätze verfolgte.

Die De Morganschen Gesetze besagen, dass die Negation einer Konjunktion die Disjunktion der Negationen ist: NOT (A AND B) entspricht (NOT A) OR (NOT B), und umgekehrt. Im Code ist das die Umschreibung von !(a && b) zu !a || !b — die jeder Entwickler von Hand vornimmt, sobald eine Bedingung unleserlich geworden ist, und die jeder optimierende Compiler ohne Nachfragen erledigt. Er prägte außerdem 1838 den Begriff der mathematischen Induktion und gab ihm seine moderne Form, unterrichtete ab 1840 Ada Lovelace brieflich in Mathematik und verteidigte George Booles Arbeit in den Jahren, als kaum jemand sonst das tat.