Preskočiť na obsah

Augustus De Morgan: Rozdiel medzi revíziami

z Wikipédie, slobodnej encyklopédie
Smazaný obsah Přidaný obsah
Bez shrnutí editace
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5
 
(2 medziľahlé úpravy od 2 ďalších používateľov nie sú zobrazené)
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é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é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 ==
Riadok 27: Riadok 27:


{{Biografický výhonok}}
{{Biografický výhonok}}
{{Autoritné údaje}}


{{DEFAULTSORT:De Morgan, August}}
{{DEFAULTSORT:De Morgan, August}}

Aktuálna revízia z 09:07, 2. november 2023

August de Morgan
britský logik a matematik
britský logik a matematik
Narodenie27. jún 1806
Madurai, India
Úmrtie18. marec 1871 (64 rokov)
Londýn, Spojené kráľovstvo
PodpisAugustus De Morgan, podpis (z wikidata)
Odkazy
Projekt
Guttenberg
Augustus De Morgan
(plné texty diel autora)
CommonsSpolupracuj na 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]
  1. Bocheński's History of Formal Logic
  2. Augustus De Morgan (1806 -1871) Archivované 2010-07-15 na Wayback Machine by Robert H. Orr

Externé odkazy

[upraviť | upraviť zdroj]
  • Biografia
  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.

Tento článok je čiastočný alebo úplný preklad článku Augustus De Morgan na českej Wikipédii.