Augustus De Morgan
Daha fazla bilgi
- Doğum
- Ölüm
- Tanınma nedeni
- De Morgan yasaları, matematiksel tümevarım
- Uyruk
- İngiliz
Bir koşulu tersine çevirdiğinde her programcının sessizce kullandığı iki yasanın sahibi mantıkçı; aynı zamanda Ada Lovelace'in matematik hocası.
1806'da Hindistan'ın Madurai kentinde doğdu ve 1828'de, yirmi bir yaşında, yeni kurulan University College London'ın ilk matematik profesörü oldu. Kolejin atamalarda dinî hususları ele alış biçimi yüzünden görevden iki kez ilkesel olarak istifa etti; bu, ilkelere ne kadar harfiyen bağlı olduğunu gösterir.
De Morgan yasaları şöyle der: bir tümleşimin (ve) değili, değillerin ayrışımıdır (veya): NOT (A AND B), (NOT A) OR (NOT B)'ye eşittir ve tersi de geçerlidir. Kodda bu, !(a && b) ifadesinin !a || !b olarak yeniden yazılmasıdır; okunmaz hâle gelen bir koşulu her geliştirici elle böyle düzeltir, her optimize edici derleyici de sormadan yapar. Ayrıca 1838'de matematiksel tümevarım terimini ortaya attı ve ona modern biçimini verdi, 1840'tan itibaren Ada Lovelace'e mektupla matematik öğretti ve neredeyse kimsenin yanında durmadığı yıllarda George Boole'un çalışmasını savundu.