Properties (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:almaMater |
gptkb:Trinity_College,_Cambridge
|
| gptkbp:associatedWith |
gptkb:Royal_Society
gptkb:University_College_London gptkb:London_Mathematical_Society |
| gptkbp:awards |
gptkb:Copley_Medal
Royal_Society_Fellow |
| gptkbp:born |
June 27, 1806
|
| gptkbp:children |
gptkb:Eleanor_De_Morgan
gptkb:William_De_Morgan gptkb:George_Edward_De_Morgan |
| gptkbp:contribution |
De_Morgan's_laws_in_logic
De_Morgan's_theorem De_Morgan's_laws_of_probability |
| gptkbp:died |
March 18, 1871
|
| gptkbp:field |
Logic
Mathematics Philosophy |
| https://www.w3.org/2000/01/rdf-schema#label |
Augustus De Morgan
|
| gptkbp:influence |
Mathematical logic
Philosophical logic Computational theory Mathematical philosophy Symbolic logic |
| gptkbp:influenced |
gptkb:George_Boole
gptkb:Bertrand_Russell |
| gptkbp:influencedBy |
gptkb:William_Hamilton
|
| gptkbp:inventor |
De_Morgan's_laws_of_logic
De_Morgan's_laws_in_probability_theory De_Morgan's_laws_in_set_theory De_Morgan's_laws_of_algebra De_Morgan's_theorem_in_Boolean_algebra |
| gptkbp:knownFor |
Set theory
Formal logic De_Morgan's_laws |
| gptkbp:legacy |
Contributed to the foundation of set theory.
Influenced the development of modern logic. Pioneered the use of quantifiers in logic. His work laid groundwork for future mathematicians. De_Morgan's_laws_are_fundamental_in_logic. |
| gptkbp:nationality |
British
|
| gptkbp:notableFeature |
gptkb:George_Boole
|
| gptkbp:occupation |
Professor
|
| gptkbp:residence |
gptkb:India
gptkb:London |
| gptkbp:spouse |
gptkb:Mary_De_Morgan
|
| gptkbp:wrote |
gptkb:The_Differential_and_Integral_Calculus
Formal Logic The Laws of Thought A Budget of Paradoxes |