Augustus De Morgan

Augustus De Morgan
Narození27. června 1806
Madurai
Úmrtí18. března 1871 (ve věku 64 let)
Londýn
Místo pohřbeníKensal Green (51°31′43″ s. š., 0°13′27″ z. d.)
Alma materTrinity College (1823–1826)
Lincoln's Inn (1826–1827)
Povolánímatematik, filozof, vysokoškolský učitel, advokát a logik
ZaměstnavateléUniverzitní kolej v Londýně (1828–1831)
Univerzitní kolej v Londýně (1836–1866)
ChoťSophia Elizabeth De Morgan[1]
DětiGeorge De Morgan[1]
William De Morgan[1]
Mary De Morgan[1]
PříbuzníCampbell Greig De Morgan[2] (bratr)
Funkcepředseda (London Mathematical Society; 1865–1866)
PodpisAugustus De Morgan – podpis
Logo Wikimedia Commons multimediální obsah na Commons
Některá data mohou pocházet z datové položky.

Augustus De Morgan (27. června 1806, Madurai, Indie18. března 1871, Londýn) byl britský matematik, který představil formální verze zákonů v klasické výrokové logice.

De Morganův zápis byl ovlivněn algebraickou logikou vymyšlenou Georgem Boolem, který se později přihlásil o část zásluh na těchto logických zákonech. Ačkoliv byla podobná pozorování zapsána již Aristotelem a byla známa už ve starém Řecku a ve středověku[3], De Morgan jim dodal klasickou formu a zavedl tím matematickou řeč do matematické logiky. De Morganovy zákony jsou lehce dokazatelné a mohou se jevit triviálními.[4] Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy.

Reference

  1. a b c d Oxford Dictionary of National Biography. Oxford: Oxford University Press. 2004.
  2. MacTutor History of Mathematics archive.
  3. Bocheński's History of Formal Logic
  4. Augustus De Morgan (1806–1871) Archivováno 15. 7. 2010 na Wayback Machine. by Robert H. Orr

Související články

Externí odkazy