Augustus De Morgan

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
Augustus De Morgan
De Morgan Augustus.jpg
Narození 27. června 1806
Indie
Úmrtí 18. března 1871 (ve věku 64 let)
La Casa
Alma mater Trinity College
Zaměstnavatel University College London
Manžel(ka) Sophia Elizabeth De Morgan
Děti George De Morgan
William De Morgan
Mary De Morgan
Podpis Augustus De Morgan – podpis
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 algebrarickou 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 byly známy 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.

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

Reference[editovat | editovat zdroj]

  1. Bocheński's History of Formal Logic
  2. Augustus De Morgan (1806 -1871) by Robert H. Orr