Augustus De Morgan

Augustus De Morgan
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, advokát a logik
ZaměstnavatelUniversity College London
ChoťSophia Elizabeth De Morgan[1]
DětiGeorge De Morgan[1]
William De Morgan[1]
Mary De Morgan[1]
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[2], 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.[3] 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. 2004.
  2. Bocheński's History of Formal Logic
  3. Augustus De Morgan (1806–1871) Archivováno 15. 7. 2010 na Wayback Machine. by Robert H. Orr

Související články

Externí odkazy

Média použitá na této stránce

De Morgan Augustus.jpg
Picture of Augustus De Morgan, the mathematician
FirmaDeMorgan.jpg
Firma de Augustus De Morgan