Augustus De Morgan: Porovnání verzí
Smazaný obsah Přidaný obsah
úprava, wiki |
m Robot přidal Kategorie:Muži |
||
| Řádek 25: | Řádek 25: | ||
{{DEFAULTSORT:Morgan, Augustus De}} |
{{DEFAULTSORT:Morgan, Augustus De}} |
||
[[Kategorie:Britští matematici]] |
[[Kategorie:Britští matematici]] |
||
[[Kategorie:Britští filozofové]] |
[[Kategorie:Britští filozofové]] |
||
| Řádek 32: | Řádek 33: | ||
[[Kategorie:Narození 1806]] |
[[Kategorie:Narození 1806]] |
||
[[Kategorie:Úmrtí 1871]] |
[[Kategorie:Úmrtí 1871]] |
||
[[Kategorie:Muži]] |
|||
[[ar:أوغست دو مورغان]] |
[[ar:أوغست دو مورغان]] |
||
Verze z 14. 9. 2010, 13:20
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], DeMorgan jim dodal klasickou formu a zavedl tím matematickou řeč do matematické logiky. DeMorganovy 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
Reference
- ↑ Bocheński's History of Formal Logic
- ↑ Augustus De Morgan (1806 -1871) by Robert H. Orr