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 | 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.
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, 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, avšak sú užitočné pre dôkazy platnosti záverov a pre deduktívne úlohy.
Tento článok je čiastočný alebo úplný preklad článku Augustus De Morgan na českej Wikipédii.