Augustus De Morgan: Porovnání verzí
Smazaný obsah Přidaný obsah
m kategorie |
m odkaz značka: editace z Vizuálního editoru |
||
| Řádek 3: | Řádek 3: | ||
'''Augustus De Morgan''' ([[27. červen|27. června]] [[1806]], [[Madurai]], [[Indie]] – [[18. březen|18. března]] [[1871]], [[Londýn]]) byl [[Spojené království|britský]] [[matematik]], který představil formální verze zákonů v klasické [[výroková logika|výrokové logice]]. |
'''Augustus De Morgan''' ([[27. červen|27. června]] [[1806]], [[Madurai]], [[Indie]] – [[18. březen|18. března]] [[1871]], [[Londýn]]) byl [[Spojené království|britský]] [[matematik]], který představil formální verze zákonů v klasické [[výroková logika|výrokové logice]]. |
||
De Morganův zápis byl ovlivněn algebrarickou logikou vymyšlenou [[George Boole|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ž [[Aristotelés|Aristotelem]] a byly známy už ve [[starověké Řecko|starém Řecku]] a ve středověku<ref>Bocheński's ''History of Formal Logic''</ref>, 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.<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus De Morgan (1806 -1871)] by Robert H. Orr</ref> Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro [[Dedukce|deduktivní]] úlohy. |
De Morganův zápis byl ovlivněn algebrarickou logikou vymyšlenou [[George Boole|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ž [[Aristotelés|Aristotelem]] a byly známy už ve [[starověké Řecko|starém Řecku]] a ve středověku<ref>Bocheński's ''History of Formal Logic''</ref>, 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.<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus De Morgan (1806 -1871)] by Robert H. Orr</ref> Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro [[Dedukce|deduktivní]] úlohy. |
||
== Související články == |
== Související články == |
||
Verze z 23. 7. 2017, 01:38
| Augustus De Morgan | |
|---|---|
 | |
| Narození | 27. června 1806 Madurai |
| Úmrtí | 18. března 1871 (ve věku 64 let) Londýn |
| Alma mater | Trinity College Univerzita v Cambridgi |
| Povolání | matematik, filozof, vysokoškolský učitel, advokát a logik |
| Zaměstnavatel | University College London |
| Choť | Sophia Elizabeth De Morgan[1] |
| Děti | George De Morgan[1] William De Morgan[1] Mary De Morgan[1] |
| Podpis |  |
 multimediální obsah na Commons | |
| Některá data mohou pocházet z datové položky. | |
Augustus De Morgan (27. června 1806, Madurai, Indie – 18. 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[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.
Související články
Reference
- ↑ a b c d Oxford Dictionary of National Biography. Oxford: Oxford University Press. 2004.
- ↑ Bocheński's History of Formal Logic
- ↑ Augustus De Morgan (1806 -1871) by Robert H. Orr
