Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Haim_Gaifman> ?p ?o. }
Showing items 1 to 52 of
52
with 100 items per page.
- Haim_Gaifman abstract "Haim Gaifman is a mathematician and philosopher at Columbia University. He received his Ph.D. under Alfred Tarski (on infinite Boolean algebras). He worked on a broad spectrum in mathematical logic (mostly set theory and models of Peano arithmetic), foundations of probability, as well as theoretical computer science and the philosophy of language. Before moving to Columbia in 1990, he was professor of mathematics at the Hebrew University of Jerusalem, where he also directed the program in History and Philosophy of Science. Gaifman's recent work include logical systems that formalize aspects of natural reasoning (pointer logic for solving the semantic paradoxes, contextual logic for handling vagueness and the Sorites paradox), phenomena of self-reference, metaphysical realism, philosophy of logic, philosophy of mathematics, Frege, Russell, and the early Wittgenstein.".
- Haim_Gaifman birthName "Haim Gaifman".
- Haim_Gaifman doctoralAdvisor Alfred_Tarski.
- Haim_Gaifman doctoralStudent Anubav_Vasudevan.
- Haim_Gaifman field Logic.
- Haim_Gaifman field Philosophy_of_language.
- Haim_Gaifman field Probability_theory.
- Haim_Gaifman wikiPageExternalLink haim-gaifman.
- Haim_Gaifman wikiPageExternalLink Haim%20Gaifman.
- Haim_Gaifman wikiPageExternalLink ~hg17.
- Haim_Gaifman wikiPageID "36523915".
- Haim_Gaifman wikiPageRevisionID "585161189".
- Haim_Gaifman birthName "Haim Gaifman".
- Haim_Gaifman doctoralAdvisor Alfred_Tarski.
- Haim_Gaifman doctoralStudents "Anubav Vasudevan, Arnon Avron, Leo Marcus, Shlomo Vinner".
- Haim_Gaifman fields Logic.
- Haim_Gaifman fields Philosophy_of_language.
- Haim_Gaifman fields Probability_theory.
- Haim_Gaifman hasPhotoCollection Haim_Gaifman.
- Haim_Gaifman name "Gaifman, Haim".
- Haim_Gaifman name "Haim Gaifman".
- Haim_Gaifman shortDescription "American logician".
- Haim_Gaifman workplaces Columbia_University.
- Haim_Gaifman description "American logician".
- Haim_Gaifman description "American logician".
- Haim_Gaifman subject Category:21st-century_philosophers.
- Haim_Gaifman subject Category:American_logicians.
- Haim_Gaifman subject Category:Columbia_University_faculty.
- Haim_Gaifman subject Category:Living_people.
- Haim_Gaifman subject Category:Philosophers_of_language.
- Haim_Gaifman subject Category:Set_theorists.
- Haim_Gaifman type Agent.
- Haim_Gaifman type Person.
- Haim_Gaifman type Scientist.
- Haim_Gaifman type Person.
- Haim_Gaifman type Q215627.
- Haim_Gaifman type Q5.
- Haim_Gaifman type Agent.
- Haim_Gaifman type NaturalPerson.
- Haim_Gaifman type Thing.
- Haim_Gaifman type Person.
- Haim_Gaifman comment "Haim Gaifman is a mathematician and philosopher at Columbia University. He received his Ph.D. under Alfred Tarski (on infinite Boolean algebras). He worked on a broad spectrum in mathematical logic (mostly set theory and models of Peano arithmetic), foundations of probability, as well as theoretical computer science and the philosophy of language.".
- Haim_Gaifman label "Haim Gaifman".
- Haim_Gaifman sameAs m.0kfpt3v.
- Haim_Gaifman sameAs Q5639292.
- Haim_Gaifman sameAs Q5639292.
- Haim_Gaifman wasDerivedFrom Haim_Gaifman?oldid=585161189.
- Haim_Gaifman givenName "Haim".
- Haim_Gaifman isPrimaryTopicOf Haim_Gaifman.
- Haim_Gaifman name "Gaifman, Haim".
- Haim_Gaifman name "Haim Gaifman".
- Haim_Gaifman surname "Gaifman".