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 mater | Trinity 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ěti | George De Morgan[1] William De Morgan[1] Mary De Morgan[1] |
Příbuzní | Campbell Greig De Morgan[2] (bratr) |
Funkce | předseda (London Mathematical Society; 1865–1866) |
Podpis | ![]() |
![]() | |
Některá data mohou pocházet z datové položky. |
Augustus De Morgan (27. června 1806, Madurai, Indie – 18. 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
- ↑ a b c d Oxford Dictionary of National Biography. Oxford: Oxford University Press. 2004.
- ↑ MacTutor History of Mathematics archive.
- ↑ Bocheński's History of Formal Logic
- ↑ Augustus De Morgan (1806–1871) Archivováno 15. 7. 2010 na Wayback Machine. by Robert H. Orr
Související články
Externí odkazy
Obrázky, zvuky či videa k tématu Augustus De Morgan na Wikimedia Commons
Portály: Matematika