Augustus De Morgan: Porovnání verzí

← Přejít na předchozí porovnání Přejít na další porovnání →

Smazaný obsah Přidaný obsah

V textu

Verze z 29. 7. 2008, 04:37

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

Šablona:Pahýl - biografie

[1] Bocheński's History of Formal Logic

[2] Augustus De Morgan (1806 -1871) by Robert H. Orr

[1]

[2]

@@ Řádek 25: / Řádek 25: @@
 [[Kategorie:Britští matematici]]
+[[ar:أوغست دو مورغان]]
-[[en:Augustus De Morgan]]
 [[bn:অগাস্টাস ডি মর্গান]]
 [[da:Augustus De Morgan]]
 [[de:Augustus De Morgan]]
+[[en:Augustus De Morgan]]
 [[es:Augustus De Morgan]]
+[[fi:Augustus De Morgan]]
 [[fr:Auguste De Morgan]]
-[[ko:오거스터스 드모르간]]
-[[is:Augustus De Morgan]]
-[[it:Augustus De Morgan]]
 [[he:אוגוסטוס דה מורגן]]
 [[hu:Augustus De Morgan]]
+[[is:Augustus De Morgan]]
+[[it:Augustus De Morgan]]
+[[ja:オーガスタス・ド・モルガン]]
+[[ko:오거스터스 드모르간]]
 [[mk:Августус де Морган]]
 [[nl:Augustus De Morgan]]
-[[ja:オーガスタス・ド・モルガン]]
-[[pms:Augustus De Morgan]]
 [[pl:Augustus De Morgan]]
+[[pms:Augustus De Morgan]]
 [[pt:Augustus De Morgan]]
 [[ro:Augustus De Morgan]]
@@ Řádek 46: / Řádek 48: @@
 [[sk:Augustus De Morgan]]
 [[sl:Augustus De Morgan]]
-[[fi:Augustus De Morgan]]
 [[sv:Augustus de Morgan]]
 [[zh:奧古斯都·德·摩根]]