Solomon Feferman

Solomon Feferman Biografia

Nascita	13 dicembre 1928 New York
Morte	26 luglio 2016 (a 87 anni)
Nazionalità	Americano
Formazione	Università della California a Berkeley
Attività	Matematico , storico della matematica , filosofo , professore universitario

Altre informazioni

Lavorato per	Stanford Faculty of Philosophy ( d ) , Stanford University
Campo	Logica matematica
Membro di	American Mathematical Society Accademia americana delle arti e delle scienze
Supervisore	Alfred Tarski
Premi

Solomon Feferman (13 dicembre 1928-26 luglio 2016) era un filosofo e matematico americano attivo nella logica matematica . Nato a New York, ha conseguito il dottorato di ricerca nel 1957 presso l' Università della California a Berkeley sotto la supervisione di Alfred Tarski . Era il professore emerito Patrick Suppes (in) scienza e umanità, con nomination ai dipartimenti di matematica e filosofia alla Stanford University .

Nel 2003, Feferman ha vinto il Premio Schock in Logica e Filosofia. Nel 2012 è stato eletto membro della American Mathematical Society .

Feferman è stato redattore capo di Collected Works di Kurt Gödel .

Pubblicazioni (selezione)

Alla luce della logica (Oxford University Press, 1998, ( ISBN 0-19-508030-0 ) , Logic and Computation in Philosophy series).
Avigad, J .; Feferman, S. (1998), interpretazione funzionale ( dialettica ) di Gödel . Manuale di teoria della dimostrazione, 337–405, Stud. Logica trovata. Matematica, 137, Olanda Settentrionale, Amsterdam.
Feferman, S .; Vaught, RL (1959), Le proprietà del primo ordine dei prodotti dei sistemi algebrici , Fund. Matematica. 47, 57–103.
Feferman, Solomon (1979), Teorie costruttive delle funzioni e delle classi , Logic Colloquium 78 (Mons, 1978), pp. 159–224 , Stud. Logic Foundations Math., 97, Olanda Settentrionale, Amsterdam-New York.
Feferman, Solomon (1975), Un linguaggio e assiomi per la matematica esplicita. Algebra e logica (Quattordicesima ricerca estiva. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87–139 . Appunti delle lezioni in matematica., Vol. 450, Springer, Berlino.
Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), definizioni induttive iterate e sottosistemi di analisi: recenti studi teorici di dimostrazione , Lecture Notes in Mathematics, 897. Springer-Verlag, Berlino-New York.
Feferman, Solomon; Hellman, Geoffrey (1995), Fondamenti predicativi dell'aritmetica , J. Philos. Logica 24, no. 1, 1--17.
con Anita Burdman Feferman : Alfred Tarski: Life and Logic (Cambridge University Press, 2004).

(fr) Questo articolo è parzialmente o interamente tratto dall'articolo di Wikipedia in inglese intitolato " Solomon Feferman " ( vedere l'elenco degli autori ) .