Resultados da pesquisa - Feferman, Solomon

Solomon Feferman

|local_nascimento = Nova Iorque |data_morte = }} |local_morte = |causa_morte = |pais_de_residencia = |nacionalidade =estadunidense |etnicidade = |campo = lógica matemática |instituicao_trabalho = |alma_mater = |tese = 1957: ''Formal Consistency Proofs and Interpretability of Theories'' |orientador = Alfred Tarski |orientado = |conhecido_por = |influenciado = |premio = , , |conjuge = |religiao = |assinatura = |notas = na Universidade Stanford }} Solomon Feferman (Nova Iorque, - 26 de julho de 2016) 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.

Feferman foi editor chefe do ''Collected Works'' de Kurt Gödel. Fornecido pela Wikipedia