|
gptkbp:instance_of
|
gptkb:Mathematician
|
|
gptkbp:alma_mater
|
gptkb:Trinity_College,_Cambridge
|
|
gptkbp:associated_with
|
gptkb:Royal_Society
gptkb:University_College_London
|
|
gptkbp:awards
|
Royal Society Fellow
|
|
gptkbp:born
|
June 27, 1806
|
|
gptkbp:children
|
gptkb:3
|
|
gptkbp:contribution
|
development of mathematical logic
foundational work in algebra
introduction of the term 'mathematical induction'
advancement of symbolic logic
|
|
gptkbp:died
|
March 18, 1871
|
|
gptkbp:field
|
gptkb:Mathematics
gptkb:Logic
gptkb:philosophy
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Augustus de Morgan
|
|
gptkbp:influenced
|
gptkb:Gottlob_Frege
gptkb:Bertrand_Russell
|
|
gptkbp:influenced_by
|
gptkb:George_Boole
|
|
gptkbp:known_for
|
gptkb:Set
gptkb:Logic
de Morgan's laws
|
|
gptkbp:nationality
|
gptkb:British
|
|
gptkbp:notable_feature
|
de Morgan's theorem
|
|
gptkbp:notable_work
|
gptkb:A_Budget_of_Paradoxes
Formal Logic
The Differential and Integral Calculus
|
|
gptkbp:spouse
|
gptkb:Mary_Everest
|
|
gptkbp:bfsParent
|
gptkb:Göttingen_Observatory
gptkb:Emanuel_Swedenborg
|
|
gptkbp:bfsLayer
|
5
|