Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Haim_Gaifman> ?p ?o }
Showing triples 1 to 85 of
85
with 100 triples per page.
- Haim_Gaifman abstract "Gaifman's first result (obtained when he was a mathematics student) was the equivalence of context-free grammars and categorial grammars. He was Rudolf Carnap’s research assistant, working on the foundations of probability theory, and got his Ph. D. under Alfred Tarski (on infinite Boolean algebras). He worked on mathematical logic (mostly set theory, where he invented the technique of iterated ultrapowers, and models of Peano arithmetic), foundations of probability (where he defined probabilities on first-order and on richer languages), in philosophy of language and philosophy of mathematics, as well as in theoretical computer science. He held various permanent and visiting positions in mathematics, philosophy and computer science departments. While he was professor of mathematics at the Hebrew University, he taught courses in philosophy and directed the program in History and Philosophy of Science.Gaifman's recent interests include foundations of probability, rational choice, philosophy of mathematics, logical systems that formalize aspects of natural reasoning, Frege and theories of naming.".
- Haim_Gaifman birthName "Haim Gaifman".
- Haim_Gaifman doctoralAdvisor Alfred_Tarski.
- 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 wikiPageLength "2271".
- Haim_Gaifman wikiPageOutDegree "19".
- Haim_Gaifman wikiPageRevisionID "670038901".
- Haim_Gaifman wikiPageWikiLink Alfred_Tarski.
- Haim_Gaifman wikiPageWikiLink Category:21st-century_philosophers.
- Haim_Gaifman wikiPageWikiLink Category:American_logicians.
- Haim_Gaifman wikiPageWikiLink Category:Columbia_University_faculty.
- Haim_Gaifman wikiPageWikiLink Category:Living_people.
- Haim_Gaifman wikiPageWikiLink Category:Philosophers_of_language.
- Haim_Gaifman wikiPageWikiLink Category:Set_theorists.
- Haim_Gaifman wikiPageWikiLink Columbia_University.
- Haim_Gaifman wikiPageWikiLink Hebrew_University_of_Jerusalem.
- Haim_Gaifman wikiPageWikiLink Logic.
- Haim_Gaifman wikiPageWikiLink Mathematical_logic.
- Haim_Gaifman wikiPageWikiLink Peano_axioms.
- Haim_Gaifman wikiPageWikiLink Philosophy_of_language.
- Haim_Gaifman wikiPageWikiLink Philosophy_of_mathematics.
- Haim_Gaifman wikiPageWikiLink Probability_theory.
- Haim_Gaifman wikiPageWikiLink Rudolf_Carnap.
- Haim_Gaifman wikiPageWikiLink Set_theory.
- Haim_Gaifman wikiPageWikiLinkText "Gaifman, Haim".
- Haim_Gaifman wikiPageWikiLinkText "Haim Gaifman".
- Haim_Gaifman birthName "Haim Gaifman".
- Haim_Gaifman doctoralAdvisor Alfred_Tarski.
- Haim_Gaifman doctoralStudents "Arnon Avron, Yang Liu, Leo Marcus, Shlomo Vinner".
- Haim_Gaifman fields Logic.
- Haim_Gaifman fields Philosophy_of_language.
- Haim_Gaifman fields Probability_theory.
- Haim_Gaifman name "Gaifman, Haim".
- Haim_Gaifman name "Haim Gaifman".
- Haim_Gaifman shortDescription "American logician".
- Haim_Gaifman wikiPageUsesTemplate Template:Authority_control.
- Haim_Gaifman wikiPageUsesTemplate Template:Infobox_scientist.
- Haim_Gaifman wikiPageUsesTemplate Template:MathGenealogy.
- Haim_Gaifman wikiPageUsesTemplate Template:Persondata.
- Haim_Gaifman wikiPageUsesTemplate Template:Tone.
- 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 hypernym Equivalence.
- Haim_Gaifman type Agent.
- Haim_Gaifman type List.
- Haim_Gaifman type Person.
- Haim_Gaifman type Philosopher.
- Haim_Gaifman type Scientist.
- Haim_Gaifman type Person.
- Haim_Gaifman type List.
- Haim_Gaifman type Mathematician.
- Haim_Gaifman type Philosopher.
- Haim_Gaifman type Scholar.
- Haim_Gaifman type Agent.
- Haim_Gaifman type NaturalPerson.
- Haim_Gaifman type Thing.
- Haim_Gaifman type Q215627.
- Haim_Gaifman type Q5.
- Haim_Gaifman type Q901.
- Haim_Gaifman type Person.
- Haim_Gaifman comment "Gaifman's first result (obtained when he was a mathematics student) was the equivalence of context-free grammars and categorial grammars. He was Rudolf Carnap’s research assistant, working on the foundations of probability theory, and got his Ph. D. under Alfred Tarski (on infinite Boolean algebras).".
- Haim_Gaifman label "Haim Gaifman".
- Haim_Gaifman sameAs Q5639292.
- Haim_Gaifman sameAs Haim_Gaifman.
- Haim_Gaifman sameAs m.0kfpt3v.
- Haim_Gaifman sameAs Q5639292.
- Haim_Gaifman wasDerivedFrom Haim_Gaifman?oldid=670038901.
- Haim_Gaifman givenName "Haim".
- Haim_Gaifman isPrimaryTopicOf Haim_Gaifman.
- Haim_Gaifman name "Gaifman, Haim".
- Haim_Gaifman name "Haim Gaifman".
- Haim_Gaifman surname "Gaifman".