Logician

URI: https://gptkb.org/entity/Logician

GPTKB entity

Predicate	Object
gptkbp:instanceOf	occupation
gptkbp:fieldOfWork	gptkb:Mathematics gptkb:logic gptkb:philosophy Computer Science
https://www.w3.org/2000/01/rdf-schema#label	Logician
gptkbp:notableFor	gptkb:Abraham_Robinson gptkb:Alan_Turing gptkb:Alfred_North_Whitehead gptkb:Alfred_Tarski gptkb:Alonzo_Church gptkb:Anil_Nerode gptkb:Bertrand_Russell gptkb:Dana_Scott gptkb:David_Hilbert gptkb:Emil_Post gptkb:Ernst_Zermelo gptkb:Georg_Cantor gptkb:Gottlob_Frege gptkb:Hao_Wang gptkb:John_Myhill gptkb:John_von_Neumann gptkb:Julia_Robinson gptkb:Kurt_Gödel gptkb:Leon_Henkin gptkb:Ludwig_Wittgenstein gptkb:Martin_Davis gptkb:Michael_Dummett gptkb:Paul_Cohen gptkb:Raymond_Smullyan gptkb:Ruth_Barcan_Marcus gptkb:Saul_Kripke gptkb:Solomon_Feferman gptkb:Stephen_Kleene gptkb:Jean-Yves_Girard gptkb:Kurt_Schütte gptkb:Paul_Lorenzen gptkb:Per_Martin-Löf gptkb:Stephen_Simpson gptkb:Thoralf_Skolem gptkb:Andrzej_Mostowski gptkb:Harvey_Friedman gptkb:Judith_Jarvis_Thomson gptkb:Mary_Ellen_Rudin gptkb:Penelope_Maddy gptkb:Robert_Soare gptkb:Yuri_Matiyasevich gptkb:Solomon_Marcus gptkb:Wilfrid_Hodges gptkb:Gregory_Chaitin gptkb:Jacques_Herbrand gptkb:Patrick_Suppes gptkb:Georg_Kreisel gptkb:Gerhard_Gentzen gptkb:Stephen_Cole_Kleene gptkb:Dorothy_Edgington gptkb:Dag_Prawitz gptkb:Stanley_Tennenbaum gptkb:Joan_Moschovakis
gptkbp:relatedTo	gptkb:mathematician gptkb:philosopher Theoretical Computer Scientist
gptkbp:bfsParent	gptkb:Prince_Khalid_bin_Abdullah gptkb:St_Leger_Stakes_(UK)
gptkbp:bfsLayer	5