Augustus De Morgan: Porovnání verzí
Smazaný obsah Přidaný obsah
moje první pridani biografie----nepodarilo se to,nevím proc . je to vypleneni a nefunguje mi to proím opravte to |
m potrebuje opravit sablonu bibliografie |
||
| Řádek 6: | Řádek 6: | ||
bublina=| |
bublina=| |
||
popisek=| |
popisek=| |
||
datum_narození=[[27. června]] |
datum_narození=[[27. června]] | rok_narození=[[1806]]| |
||
místo_narození=[[[Madurai]], [[ |
místo_narození=[[[Madurai]], [[Indie]]|| |
||
datum_úmrtí=[[6. listopad]] | rok_úmrtí=1871| |
datum_úmrtí=[[6. listopad]] | rok_úmrtí=[[1871]]| |
||
místo_úmrtí=[[[[Londýn]], [[Anglie]]||}} |
místo_úmrtí=[[[[Londýn]], [[Anglie]]|| |
||
}} |
|||
'''Augustus De Morgan''' ([[1806]] -[[1871]]) byl britský matematik, který představil formální verze zákonů v klasické [[výroková logika|výrokové logice]]. De Morganův zápis byl ovlivněn algebrarickou logikou vymyšlenou [[George Boole|Georgem Boolem]], který se později přihlásil o část zásluh na těchto logických zákonech. Ačkoliv byla podobná pozorování zapsána již [[Aristotelés|Aristotelem]] a byly známy už ve [[starověké Řecko|starém Řecku]] a ve středověku<ref>Bocheński's ''History of Formal Logic''</ref>, DeMorgan jim dodal klasickou formu a zavedl tím matematickou řeč do matematické logiky. DeMorganovy zákony jsoou lehce dokazatelné a mohou se jevit triviálními.<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus De Morgan (1806 -1871)] by Robert H. Orr</ref> Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy. |
'''Augustus De Morgan''' ([[1806]] -[[1871]]) byl britský matematik, který představil formální verze zákonů v klasické [[výroková logika|výrokové logice]]. De Morganův zápis byl ovlivněn algebrarickou logikou vymyšlenou [[George Boole|Georgem Boolem]], který se později přihlásil o část zásluh na těchto logických zákonech. Ačkoliv byla podobná pozorování zapsána již [[Aristotelés|Aristotelem]] a byly známy už ve [[starověké Řecko|starém Řecku]] a ve středověku<ref>Bocheński's ''History of Formal Logic''</ref>, DeMorgan jim dodal klasickou formu a zavedl tím matematickou řeč do matematické logiky. DeMorganovy zákony jsoou lehce dokazatelné a mohou se jevit triviálními.<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus De Morgan (1806 -1871)] by Robert H. Orr</ref> Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy. |
||
Verze z 30. 4. 2008, 11:39
{{Infobox Biografie |
jméno=August | příjmení=De Morgan| obrázek=AugustusDeMorgan.png| šířka obrázku= 150 | bublina=|
popisek=|
datum_narození=27. června | rok_narození=1806| místo_narození=[[[Madurai]], Indie|| datum_úmrtí=6. listopad | rok_úmrtí=1871| místo_úmrtí=[[Londýn, Anglie||
}}
Augustus De Morgan (1806 -1871) byl britský matematik, který představil formální verze zákonů v klasické výrokové logice. De Morganův zápis byl ovlivněn algebrarickou logikou vymyšlenou Georgem Boolem, který se později přihlásil o část zásluh na těchto logických zákonech. Ačkoliv byla podobná pozorování zapsána již Aristotelem a byly známy už ve starém Řecku a ve středověku[1], DeMorgan jim dodal klasickou formu a zavedl tím matematickou řeč do matematické logiky. DeMorganovy zákony jsoou lehce dokazatelné a mohou se jevit triviálními.[2] Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy.
Reference
- ↑ Bocheński's History of Formal Logic
- ↑ Augustus De Morgan (1806 -1871) by Robert H. Orr