Augustus De Morgan: Rozdiel medzi revíziami
d + Autoritné údaje |
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 |
||
Riadok 10: | Riadok 10: | ||
'''August de Morgan''' (* [[27. jún]] [[1806]], [[Madurai]], [[India]] – † [[18. marec]] [[1871]], [[Londýn]], [[Spojené kráľovstvo]]) bol britský [[logika|logik]] a [[matematik]], ktorý sa zaoberal [[algebra|algebraickým]] vyjadrením problémov [[Výroková logika|formálnej logiky]]. |
'''August de Morgan''' (* [[27. jún]] [[1806]], [[Madurai]], [[India]] – † [[18. marec]] [[1871]], [[Londýn]], [[Spojené kráľovstvo]]) bol britský [[logika|logik]] a [[matematik]], ktorý sa zaoberal [[algebra|algebraickým]] vyjadrením problémov [[Výroková logika|formálnej logiky]]. |
||
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écku]] 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écku]] 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)] {{Webarchive|url=https://web.archive.org/web/20100715185655/http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm |date=2010-07-15 }} by Robert H. Orr</ref>, avšak sú užitočné pre dôkazy platnosti záverov a pre [[Dedukcia|deduktívne]] úlohy. |
||
== Referencie == |
== Referencie == |
Aktuálna revízia z 09:07, 2. november 2023
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[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
[upraviť | upraviť zdroj]- ↑ Bocheński's History of Formal Logic
- ↑ Augustus De Morgan (1806 -1871) Archivované 2010-07-15 na Wayback Machine by Robert H. Orr
Pozri aj
[upraviť | upraviť zdroj]Externé odkazy
[upraviť | upraviť zdroj]Zdroj
[upraviť | upraviť zdroj]Tento článok je čiastočný alebo úplný preklad článku Augustus De Morgan na českej Wikipédii.