Augustus De Morgan

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
August De Morgan
Narození 27. června 1806
Madurai, Indie
Úmrtí 6. listopad 1871
Londýn, Anglie
Občanství Spojené království
Alma mater Trinity College
Povolání matematik
Zaměstnavatel University College London
Některá data mohou pocházet z datové položky.

Augustus De Morgan (27. června 1806, Madurai, Indie - 6. listopadu 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