Solomon Feferman - Solomon Feferman
Solomon Feferman | |
---|---|
Nascer |
The Bronx, Nova York , EUA
|
13 de dezembro de 1928
Faleceu | 26 de julho de 2016
Stanford, Califórnia , EUA
|
(com 87 anos)
Alma mater |
Instituto de Tecnologia da Califórnia, Universidade da Califórnia, Berkeley |
Era | Filosofia contemporânea |
Região | Filosofia ocidental |
Escola |
Predicativismo Analítico |
Tese | Provas de consistência formal e interpretabilidade de teorias (1957) |
Orientador de doutorado | Alfred Tarski |
Alunos de doutorado | |
Principais interesses |
Filosofia da matemática |
Ideias notáveis |
Sistemas estratificados para os fundamentos da teoria das categorias Feferman – Schütte ordinal Função de colapso ordinal Matemática explícita |
Influências | |
Influenciado |
Solomon Feferman (13 de dezembro de 1928 - 26 de julho de 2016) foi um filósofo e matemático americano que trabalhou em lógica matemática .
Vida
Solomon Feferman nasceu no Bronx, na cidade de Nova York, filho de pais da classe trabalhadora que imigraram para os Estados Unidos após a Primeira Guerra Mundial e se conheceram e se casaram em Nova York. Nenhum dos pais tinha educação avançada. A família mudou-se para Los Angeles, onde Feferman se formou no ensino médio aos 16 anos.
Ele recebeu seu BS do California Institute of Technology em 1948, e em 1957 seu Ph.D. em matemática pela Universidade da Califórnia, Berkeley , sob Alfred Tarski , após ter sido convocado e ter servido no Exército dos EUA de 1953 a 1955. Em 1956 foi nomeado para o Departamento de Matemática e Filosofia da Universidade de Stanford , onde mais tarde se tornou o Patrick Suppes Professor de Humanidades e Ciências.
Feferman morreu em 26 de julho de 2016 em sua casa em Stanford , após uma doença que durou três meses e um derrame . Quando morreu, ele era membro da MAA há 37 anos.
Contribuições
Feferman foi editor-chefe da Collected Works of Kurt Gödel em cinco volumes , publicada pela Oxford University Press entre 2001 e 2013.
Em 2004, junto com sua esposa Anita Burdman Feferman , publicou uma biografia de Alfred Tarski : Alfred Tarski: Life and Logic .
Ele trabalhou em matemática predicativa , em particular introduzindo o ordinal Feferman-Schütte como uma medida da força de certos sistemas predicativos.
Reconhecimento
Feferman recebeu uma bolsa Guggenheim em 1972 e 1986 e o Prêmio Rolf Schock em lógica e filosofia em 2003. Em 2006, ele foi convidado a ministrar as Tarski Lectures . Em 2012, ele se tornou membro da American Mathematical Society .
Publicações
Papéis
- Feferman, Solomon; Vaught, Robert L. (1959), "As propriedades de primeira ordem dos produtos de sistemas algébricos", Fund. Matemática. 47, 57–103.
- Feferman, Solomon (1975), "Uma linguagem e axiomas para matemática explícita", Álgebra e lógica (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87-139, Lecture Notes in Math., Vol. 450, Berlim, Springer.
- Feferman, Solomon (1979), "Teorias construtivas de funções e classes", Logic Colloquium '78 (Mons, 1978) , pp. 159-224, Stud. Logic Foundations Math., 97, Amsterdam, New York, North-Holland.
- Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), "Definições indutivas iteradas e subsistemas de análise: estudos teóricos de prova recentes", Lecture Notes in Mathematics , 897, Berlim, Nova York, Springer-Verlag.
- Feferman, Solomon; Hellman, Geoffrey (1995), "Predicative foundations of arithmetic", J. Philos. Logic 24 (1), 1-17.
- Avigad, Jeremy ; Feferman, Solomon (1998), " interpretação funcional de Gödel ( Dialectica )", Manual da teoria da prova , 337-405, Stud. Lógica encontrada. Math., 137, Amsterdam, North-Holland.
Livros
- Feferman, Solomon. (1998). À luz da lógica . Imprensa da Universidade de Oxford. ISBN 0-19-508030-0 , série Logic and Computation in Philosophy.
- Feferman, Anita Burdman; Feferman, Solomon (2004). Alfred Tarski: Life and Logic . Cambridge University Press . ISBN 978-0-521-80240-6. OCLC 54691904 .