Os cinco volumes das Collected Works of Kurt Gödel, publicados pela Oxford University Press entre 2001 e 2013, servem como um exemplo primário das contribuições acadêmicas de Solomon Feferman para a história da lógica. Como matemático e filósofo baseado na Universidade Stanford, ele navegou pelas complexas interseções da teoria da demonstração, da teoria da computabilidade e da teoria dos conjuntos ao longo de uma carreira de várias décadas.
Fundação Acadêmica
Nascido em 1928 na cidade de Nova York, Feferman mudou-se com sua família para Los Angeles, concluindo o ensino médio aos 16 anos. Ele obteve um bacharelado (B.S.) pelo Instituto de Tecnologia da Califórnia em 1948. Depois de servir no Exército dos EUA de 1953 a 1955, concluiu seu doutorado em matemática na Universidade da Califórnia em Berkeley em 1957. Seus estudos de doutorado foram realizados sob a supervisão de Alfred Tarski.
Carreira em Stanford
Em 1956, Feferman integrou os departamentos de Matemática e Filosofia da Universidade Stanford. Ele passou a maior parte de sua vida profissional nessa instituição, alcançando eventualmente o cargo de Professor Patrick Suppes de Humanidades e Ciências. Sua carreira incluiu períodos como pesquisador de pós-doutorado no Instituto de Estudos Avançados em Princeton, professor visitante no MIT e pesquisador visitante no Wolfson College em Oxford.
Lógica e Predicativismo
Feferman desenvolveu uma reputação como defensor do predicativismo, mantendo uma perspectiva anti-platônica dentro da filosofia da matemática. Inspirado pelos escritos de Hermann Weyl, ele buscou esclarecer os fundamentos matemáticos. Esse trabalho o levou a introduzir o ordinal de Feferman-Schütte, uma métrica usada para medir a força de certos sistemas predicativos.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Projetos Editoriais e Históricos
Além de sua pesquisa técnica, Feferman dedicou-se a uma extensa documentação histórica sobre o desenvolvimento da lógica. Ele atuou como editor-chefe das Collected Works of Kurt Gödel. Em 2004, colaborou com sua esposa, Anita Burdman Feferman, para publicar a biografia Alfred Tarski: Life and Logic. Esses projetos concentraram-se em contextualizar as vidas e as produções intelectuais de figuras proeminentes na área.
Dados rápidos
- Nascimento: 1928, Cidade de Nova York - Falecimento: 26 de julho de 2016, Stanford - Orientador de doutorado: Alfred Tarski - Instituição principal: Universidade Stanford - Principais prêmios: Prêmio Rolf Schock em Lógica e Filosofia (2003) - Status profissional: Membro da American Mathematical Society (2013) - Grau acadêmico: Ph.D., Universidade da Califórnia em Berkeley (1957) - Educação: Instituto de Tecnologia da Califórnia (1948)
Perguntas frequentes
### Qual era a postura de Feferman sobre a filosofia da matemática?
Ele era um defensor vocal do predicativismo e mantinha uma perspectiva anti-platônica.
### Qual grande projeto editorial ele liderou?
Ele atuou como editor-chefe dos cinco volumes das Collected Works of Kurt Gödel.
