Haim Gaifman - Haim Gaifman
Haim Gaifman | |
|---|---|
| Nascermos | 1934 (idade 86-87) |
| Alma mater | Universidade da Califórnia, Universidade Hebraica de Berkeley |
| Carreira científica | |
| Campos | Lógica , teoria da probabilidade , filosofia da linguagem |
| Instituições |
Columbia University Hebrew University |
| Orientador de doutorado | Alfred Tarski |
| Alunos de doutorado | Arnon Avron |
Haim Gaifman (nascido em 1934) é um lógico, teórico da probabilidade e filósofo da linguagem que é professor de filosofia na Universidade de Columbia .
Educação e carreira
Em 1958 ele recebeu seu M.Sc. na Universidade Hebraica . Então, em 1962, ele recebeu seu Ph.D. na Universidade da Califórnia, Berkeley, sob Alfred Tarski, no tópico de álgebras booleanas infinitas . Desde então, ele ocupou vários cargos permanentes e visitantes nos departamentos de matemática, filosofia e ciência da computação. Enquanto era professor de matemática na Universidade Hebraica, ministrou cursos de filosofia e dirigiu o programa de História e Filosofia da Ciência.
Trabalho filosófico
Gaifman trabalha em lógica matemática e desenvolveu a técnica ultrapower iterada em teoria de conjuntos e modelos de aritmética de Peano . Além disso, ele tem resultados nas bases da probabilidade, definindo probabilidades em linguagens de primeira ordem e em linguagens mais ricas. Ele também trabalhou com filosofia da linguagem , filosofia da matemática e ciência da computação teórica .
Referências
links externos
- Obras de Haim Gaifman
- Página inicial pessoal de Haim Gaifman