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í
Povolání matematik
Některá data se získávají 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