Augustus De Morgan
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.
| 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 a advokát |
| Zaměstnavatel | Univerzitní kolej v Londýně |
| Choť | Sophia Elizabeth De Morgan |
| Děti | George De Morgan William De Morgan Mary De Morgan |
| Podpis |  |
 multimediální obsah na Commons | |
| Některá data mohou pocházet z datové položky. | |
De Morganův zápis byl ovlivněn algebraickou 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 byla známa 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.
Reference
- Bocheński's History of Formal Logic
- Augustus De Morgan (1806–1871) Archivováno 15. 7. 2010 na Wayback Machine by Robert H. Orr
Související články
Externí odkazy
- Obrázky, zvuky či videa k tématu Augustus De Morgan na Wikimedia Commons
Autoritní data  |
|
|---|
Portály: Matematika
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.