De Morgan Augustus (Ogastas De Mòrganas) 1806 06 27Madurai (Indija) 1871 03 18Londonas, anglų logikas, matematikas. Vienas logikos algebros kūrėjų. 1823–1827 studijavo Kembridžo universiteto Švč. Trejybės koledže. 1828–31 ir 1836–66 Londono universiteto profesorius.

Logikos tyrimai

Kūrė teiginių ir klasių logiką, loginių santykių teoriją, loginiais skaičiavimais grindė tikimybių teoriją. Suformulavo teiginių logikos De Morgano taisykles, pagal kurias konjunkcija gali būti reiškiama disjunkcija ir atvirkščiai. Predikatų logikoje vienas pirmųjų taikė propozicinių funkcijų susiejimą kvantoriais. Jo veikalai turėjo įtakos matematinei logikai susiformuoti. Tyrė skaičių sekų ir eilučių konvergavimą, 17 amžiaus matematikos istoriją.

Augustus De Morgan (apie 1840)

Veikalai

Svarbiausi veikalai: Logikos pradinės sąvokos (First Notions of Logic 1839), Formalioji logika, arba Išvadų skaičiavimas (Formal Logic or the Calculus of Inference), Aritmetikos knygos (Arithmetical Books, abu 1847), Apie silogizmo sandarą ir taikymą (On the Structure of the Syllogism and its Applications 1849).

Papildoma informacija
Turinys
Bendra informacija
Straipsnio informacija
Autorius (-iai)
Redaktorius (-iai)
Publikuota
Redaguota
Siūlykite savo nuotrauką