|
gptkbp:instance_of
|
gptkb:philosopher
gptkb:Mathematician
gptkb:Logic
|
|
gptkbp:alma_mater
|
gptkb:Queen's_College,_Cork
|
|
gptkbp:associated_with
|
gptkb:Royal_Society
gptkb:University_College_London
gptkb:Cork
|
|
gptkbp:awards
|
Royal Society Fellow
|
|
gptkbp:born
|
November 2, 1815
|
|
gptkbp:children
|
gptkb:Irene_Boole
gptkb:Ethel_Boole
gptkb:George_Boole_Jr.
Mabel Boole
|
|
gptkbp:contribution
|
gptkb:Set
gptkb:Logic
probability theory
Boolean logic
foundations of computer science
theory of sets
|
|
gptkbp:died
|
December 8, 1864
|
|
gptkbp:field
|
gptkb:computer_science
gptkb:Mathematics
gptkb:philosophy
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
George Boole
|
|
gptkbp:influenced
|
gptkb:Artificial_Intelligence
gptkb:computer_science
gptkb:John_von_Neumann
gptkb:Norbert_Wiener
gptkb:Alan_Turing
gptkb:Claude_Shannon
gptkb:Hugh_Everett_III
gptkb:Logic
computer programming
information theory
digital circuit design
|
|
gptkbp:influenced_by
|
gptkb:John_Venn
gptkb:Augustus_De_Morgan
gptkb:Gottfried_Wilhelm_Leibniz
|
|
gptkbp:known_for
|
Boolean algebra
mathematical analysis
Boolean logic
|
|
gptkbp:legacy
|
Boolean satisfiability problem
Boolean algebra in mathematics
Boolean functions in logic
Boolean logic in computer science
Boolean networks in biology
|
|
gptkbp:nationality
|
gptkb:British
|
|
gptkbp:notable_works
|
An Investigation of the Laws of Thought
The Laws of Thought
|
|
gptkbp:occupation
|
gptkb:philosopher
gptkb:Author
gptkb:Mathematician
gptkb:Logic
gptkb:educators
gptkb:Professor
|
|
gptkbp:residence
|
gptkb:Cork,_Ireland
gptkb:London,_England
|
|
gptkbp:spouse
|
gptkb:Mary_Everest
|
|
gptkbp:bfsParent
|
gptkb:Logic
|
|
gptkbp:bfsLayer
|
3
|