Augustus De Morgan

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání
Augustus De Morgan
De Morgan Augustus.jpg
Narození27. června 1806
Madurai
Úmrtí18. března 1871 (ve věku 64 let)
Londýn
Alma materTrinity College
Univerzita v Cambridgi
Povolánímatematik, filozof, vysokoškolský učitel a advokát
ZaměstnavatelUniverzitní kolej v Londýně
ChoťSophia Elizabeth De Morgan
DětiGeorge De Morgan
William De Morgan
Mary De Morgan
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[1], 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.[2] Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy.

Reference[editovat | editovat zdroj]

  1. Bocheński's History of Formal Logic
  2. Augustus De Morgan (1806–1871) Archivováno 15. 7. 2010 na Wayback Machine by Robert H. Orr

Související články[editovat | editovat zdroj]

Externí odkazy[editovat | editovat zdroj]