226539 materialEducativo

Haim Gaifman

tipo de documento Article Wikipedia Scientist

M'agrada 0
Visites 8
Comentaris 0
Desar a
Accions
- Enviar enllaç

Sobre aquest recurs...

Scientist

Artículo WikipediaFuente Dbpedia

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.

Nombre de nacimiento Haim Gaifman

Wikipedia Inglés http://en.wikipedia.org/wiki/Haim_Gaifman

Wikipedia Español http://es.wikipedia.org/wiki/Haim_Gaifman

Enlaces externos relacionado http://philosophy.columbia.edu/directories/faculty/haim-gaifman http://philpapers.org/s/Haim%20Gaifman http://www.columbia.edu/~hg17/