Augustus De Morgan: Rozdiel medzi revíziami
rozšírenie |
Bez shrnutí editace |
||
Riadok 12: | Riadok 12: | ||
De Morganov zápis ovplyvnila [[Boolova algebra|algebraická logika]] [[George Boole|Georgea Boolea]], ktorý sa neskôr prihlásil o časť zásluh na týchto [[De Morganove zákony|logických zákonoch]]. Hoci podobné pozorovania zapísal už [[Aristoteles]] a boli známy už v [[staroveké Grécko|starom Gréecku]] a v [[stredovek]]u<ref>Bocheński's ''History of Formal Logic''</ref>, 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<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus De Morgan (1806 -1871)] by Robert H. Orr</ref>, avšak sú užitočné pre dôkazy platnosti záverov a pre [[Dedukcia|deduktívne]] úlohy. |
De Morganov zápis ovplyvnila [[Boolova algebra|algebraická logika]] [[George Boole|Georgea Boolea]], ktorý sa neskôr prihlásil o časť zásluh na týchto [[De Morganove zákony|logických zákonoch]]. Hoci podobné pozorovania zapísal už [[Aristoteles]] a boli známy už v [[staroveké Grécko|starom Gréecku]] a v [[stredovek]]u<ref>Bocheński's ''History of Formal Logic''</ref>, 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<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus De Morgan (1806 -1871)] by Robert H. Orr</ref>, avšak sú užitočné pre dôkazy platnosti záverov a pre [[Dedukcia|deduktívne]] úlohy. |
||
== |
== Referencie == |
||
<references /> |
<references /> |
||
Verzia z 06:40, 7. október 2015
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éecku 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
Externé odkazy
Zdroj
Tento článok je čiastočný alebo úplný preklad článku Augustus De Morgan na českej Wikipédii.