Augustus De Morgan
August de Morgan (* 27. jún 1806, Madurai, India – † 18. marec 1871, Londýn, Spojené kráľovstvo) bol britský logik a matematik, ktorý sa zaoberal algebraickým vyjadrením problémov formálnej logiky.
| August de Morgan | |||
 britský logik a matematik | |||
| Narodenie | 27. jún 1806 Madurai, India | ||
|---|---|---|---|
| Úmrtie | 18. marec 1871 (64 rokov) Londýn, Spojené kráľovstvo | ||
| Podpis |  | ||
| Odkazy | |||
| Projekt Guttenberg | Augustus De Morgan (plné texty diel autora) | ||
| Commons |  | ||
| |||
De Morganov zápis ovplyvnila algebraická logika Georgea Boolea, ktorý sa neskôr prihlásil o časť zásluh na týchto logických zákonoch. Hoci podobné pozorovania zapísal už Aristoteles a boli známy už v starom Grécku a v stredoveku[1], De Morgan im dal klasickú formu a zaviedol tým matematickú reč do matematickej logiky. De Morganove zákony sú ľahko dokázateľné a môžu sa zdať triviálne[2], avšak sú užitočné pre dôkazy platnosti záverov a pre deduktívne úlohy.
Referencie
- Bocheński's History of Formal Logic
- Augustus De Morgan (1806 -1871) by Robert H. Orr
Pozri aj
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.