Logicians

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

GPTKB entity

Statements (78)

Predicate	Object
gptkbp:instanceOf	occupation
gptkbp:field	gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label	Logicians
gptkbp:notableMembers	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:Harold_Jeffreys gptkb:John_Bell 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:Michael_Rabin gptkb:Paul_Cohen gptkb:Raymond_Smullyan gptkb:Robert_Vaught gptkb:Saul_Kripke gptkb:Solomon_Feferman gptkb:Stephen_Kleene gptkb:Wilhelm_Ackermann gptkb:Haskell_Curry gptkb:Jean-Yves_Girard gptkb:Kurt_Schütte gptkb:Per_Martin-Löf gptkb:Stephen_Simpson gptkb:Thoralf_Skolem gptkb:Andrzej_Mostowski gptkb:Harvey_Friedman gptkb:J._Barkley_Rosser gptkb:Penelope_Maddy gptkb:Richard_Montague gptkb:Robert_Soare gptkb:William_Craig gptkb:Yuri_Matiyasevich gptkb:W._Hugh_Woodin gptkb:Wilfrid_Hodges gptkb:Gregory_Chaitin gptkb:Jacques_Herbrand gptkb:Patrick_Suppes gptkb:Georg_Kreisel gptkb:Gerhard_Gentzen gptkb:Jean_van_Heijenoort gptkb:Stephen_Cole_Kleene gptkb:Dorothy_Edgington gptkb:Peter_Aczel gptkb:Dag_Prawitz gptkb:Stanley_Tennenbaum gptkb:Jouko_Väänänen gptkb:Ronald_Jensen gptkb:Solomon_B._Shimony gptkb:Joan_Moschovakis
gptkbp:relatedTo	gptkb:mathematician philosophers
gptkbp:studies	gptkb:set_theory model theory proof theory recursion theory philosophy of logic formal languages logical systems
gptkbp:bfsParent	gptkb:School_of_Names gptkb:Doxastic_Logic
gptkbp:bfsLayer	5