Back سولومون فيفيرمان ARZ Solomon Feferman German Solomon Feferman English Solomon Feferman Spanish سولومون ففرمن Persian Solomon Feferman French ソロモン・フェファーマン Japanese Феферман, Соломон Russian Solomon Feferman Slovak 所罗门·费弗曼 Chinese
| Solomon Feferman | |
|---|---|
 | |
| Nascimento | 13 de dezembro de 1928 Nova Iorque |
| Morte | 26 de julho de 2016 (87 anos) |
| Nacionalidade | estadunidense |
| Alma mater | Universidade da Califórnia em Berkeley |
| Prêmios | Gödel Lecturer (1997), Prêmio Schock (2003), Tarski Lectures (2006) |
| Orientador(es)(as) | Alfred Tarski[1] |
| Orientado(a)(s) | Jon Barwise |
| Instituições | Universidade Stanford |
| Campo(s) | lógica matemática |
| Tese | 1957: Formal Consistency Proofs and Interpretability of Theories |
| Notas | «Página pessoal» (em inglês) na Universidade Stanford |
Solomon Feferman (Nova Iorque, 13 de dezembro de 1928 - 26 de julho de 2016)[2] foi um matemático e filósofo estadunidense. Trabalhou com lógica matemática.
Obteve o seu Ph.D. em 1957 na Universidade da Califórnia em Berkeley, orientado por Alfred Tarski. Foi professor da Universidade Stanford.
Feferman recebeu o Prêmio Schock de Filosofia e Lógica de 2003 e apresentou a Tarski Lectures de 2006. Em 2012 foi eleito fellow da American Mathematical Society.[3]
Feferman foi editor chefe do Collected Works de Kurt Gödel.
- ↑ Solomon Feferman (em inglês) no Mathematics Genealogy Project
- ↑ «Solomon Feferman (1928-2016)». resources.illc.uva.nl. Consultado em 19 de abril de 2021
- ↑ List of Fellows of the American Mathematical Society, acessado em 18 de janeiro de 2014.