Solomon Feferman
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.
| 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 |
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.
Publicações selecionadas
editar- In the Light of Logic (Oxford University Press, 1998, ISBN 0-19-508030-0, Logic and Computation in Philosophy series) review.
- Avigad, J.; Feferman, S. (1998) Gödel's functional (``Dialectica) interpretation. Handbook of proof theory, 337–405, Stud. Logic Found. Math., 137, North-Holland, Amsterdam.
- Feferman, S.; Vaught, R. L. (1959) The first order properties of products of algebraic systems. Fund. Math. 47, 57–103.
- Feferman, Solomon (1979) Constructive theories of functions and classes. Logic Colloquium '78 (Mons, 1978), pp. 159–224, Stud. Logic Foundations Math., 97, North-Holland, Amsterdam-New York.
- Feferman, Solomon (1975) A language and axioms for explicit mathematics. Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87–139. Lecture Notes in Math., Vol. 450, Springer, Berlin.
- Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981) Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Lecture Notes in Mathematics, 897. Springer-Verlag, Berlin-New York.
- Feferman, Solomon; Hellman, Geoffrey (1995) Predicative foundations of arithmetic. J. Philos. Logic 24, no. 1, 1--17.
Referências
- ↑ 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.
