GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
John Lane Bell
URI:
https://gptkb.org/entity/John_Lane_Bell
GPTKB entity
Statements (20)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:University_of_London
gptkbp:award
Fellow of the Royal Society of Canada
gptkbp:birthYear
1945
gptkbp:doctoralAdvisor
gptkb:Dana_Scott
gptkbp:employer
gptkb:University_of_Western_Ontario
gptkbp:field
gptkb:logic
gptkb:set_theory
history of logic
topos theory
https://www.w3.org/2000/01/rdf-schema#label
John Lane Bell
gptkbp:nationality
gptkb:Canadian
gptkbp:notableWork
gptkb:A_Primer_of_Infinitesimal_Analysis
gptkb:Set_Theory:_Boolean-Valued_Models_and_Independence_Proofs
gptkb:The_Continuous,_the_Discrete_and_the_Infinitesimal_in_Philosophy_and_Mathematics
gptkbp:occupation
gptkb:logic
gptkb:mathematician
gptkb:philosopher
gptkbp:bfsParent
gptkb:Graham_Priest
gptkbp:bfsLayer
4