Augustus De Morgan: Porovnání verzí
Smazaný obsah Přidaný obsah
Robot: Opravuji 1 zdrojů and označuji 0 zdrojů jako nefunkční #IABot (v2.0beta8) |
m Rekategorizace dle ŽOPP; kosmetické úpravy |
||
Řádek 1:
{{Infobox - osoba}}
'''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)] {{Wayback|url=http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm |date=20100715185655 }} 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.
Řádek 19 ⟶ 18:
{{DEFAULTSORT:Morgan, Augustus De}}
[[Kategorie:Britští matematici]]
[[Kategorie:Britští
[[Kategorie:Matematici 19. století]]
[[Kategorie:Filosofové 19. století]]
| |||