Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5639292> ?p ?o }
Showing triples 1 to 59 of
59
with 100 triples per page.
- Q5639292 description "American logician".
- Q5639292 description "American logician".
- Q5639292 subject Q5312304.
- Q5639292 subject Q6376072.
- Q5639292 subject Q6405409.
- Q5639292 subject Q7009022.
- Q5639292 subject Q8131269.
- Q5639292 subject Q8893321.
- Q5639292 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.".
- Q5639292 birthName "Haim Gaifman".
- Q5639292 doctoralAdvisor Q207534.
- Q5639292 field Q484761.
- Q5639292 field Q5862903.
- Q5639292 field Q8078.
- Q5639292 wikiPageExternalLink haim-gaifman.
- Q5639292 wikiPageExternalLink Haim%20Gaifman.
- Q5639292 wikiPageExternalLink ~hg17.
- Q5639292 wikiPageWikiLink Q1166618.
- Q5639292 wikiPageWikiLink Q12482.
- Q5639292 wikiPageWikiLink Q174158.
- Q5639292 wikiPageWikiLink Q180536.
- Q5639292 wikiPageWikiLink Q207534.
- Q5639292 wikiPageWikiLink Q484761.
- Q5639292 wikiPageWikiLink Q49088.
- Q5639292 wikiPageWikiLink Q5312304.
- Q5639292 wikiPageWikiLink Q5862903.
- Q5639292 wikiPageWikiLink Q6376072.
- Q5639292 wikiPageWikiLink Q6405409.
- Q5639292 wikiPageWikiLink Q7009022.
- Q5639292 wikiPageWikiLink Q76519.
- Q5639292 wikiPageWikiLink Q8078.
- Q5639292 wikiPageWikiLink Q8131269.
- Q5639292 wikiPageWikiLink Q842755.
- Q5639292 wikiPageWikiLink Q8893321.
- Q5639292 birthName "Haim Gaifman".
- Q5639292 doctoralAdvisor Q207534.
- Q5639292 fields Q484761.
- Q5639292 fields Q5862903.
- Q5639292 fields Q8078.
- Q5639292 name "Gaifman, Haim".
- Q5639292 name "Haim Gaifman".
- Q5639292 shortDescription "American logician".
- Q5639292 type Person.
- Q5639292 type Agent.
- Q5639292 type Person.
- Q5639292 type Scientist.
- Q5639292 type Agent.
- Q5639292 type NaturalPerson.
- Q5639292 type Thing.
- Q5639292 type Q215627.
- Q5639292 type Q5.
- Q5639292 type Q901.
- Q5639292 type Person.
- Q5639292 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).".
- Q5639292 label "Haim Gaifman".
- Q5639292 givenName "Haim".
- Q5639292 name "Gaifman, Haim".
- Q5639292 name "Haim Gaifman".
- Q5639292 surname "Gaifman".