226539 materialEducativo

Haim Gaifman

tipo de documento Wikipedia article Scientist

I like 0
Visits 8
Comments 0
Save to
Actions
- Send link

About this resource...

Scientist

Wikipedia articleDbpedia source

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.

Birth name Haim Gaifman

English Wikipedia http://en.wikipedia.org/wiki/Haim_Gaifman

Spanish wikipedia http://es.wikipedia.org/wiki/Haim_Gaifman

Wiki page external link http://philosophy.columbia.edu/directories/faculty/haim-gaifman http://philpapers.org/s/Haim%20Gaifman http://www.columbia.edu/~hg17/