Solomon Feferman

Solomon Feferman
Name	Solomon Feferman
Birth date	July 13, 1928
Birth place	The Bronx, New York City
Death date	October 8, 2016
Death place	Stanford, California
Fields	Mathematical logic, Proof theory, Philosophy of mathematics
Institutions	California Institute of Technology; Stanford University; University of Michigan; University of Chicago
Alma mater	City College of New York; Princeton University
Doctoral advisor	Alonzo Church
Notable students	Harvey Friedman; George Boolos; Daniel J. Velleman

Solomon Feferman Solomon Feferman (July 13, 1928 – October 8, 2016) was an American mathematician and philosopher noted for foundational work in mathematical logic, proof theory, and the philosophy of mathematics. He made influential contributions to the study of predicativity, axiomatic set theory, and the formal analysis of mathematical practice, and he served on the faculties of several major research universities. Feferman also played a prominent role as an editor and historian of logic, linking technical results to broader philosophical debates.

Early life and education

Feferman was born in the Bronx, New York City, into a family of Eastern European immigrants. He attended Bronx High School of Science before studying at City College of New York, where he was exposed to courses and figures associated with the New York school of logic. He completed his doctorate at Princeton University under the supervision of Alonzo Church, working in the intellectual milieu that included Kurt Gödel, John von Neumann, and Alan Turing. During his formative years he interacted with contemporaries such as Gerald Sacks and Alfred Tarski, absorbing influences from both American and European traditions in logic and philosophy of mathematics.

Academic career and positions

Feferman's academic appointments traced a path through several leading institutions. Early in his career he held positions at the University of Chicago and University of Michigan before joining the faculty at the California Institute of Technology, where he developed research programs in proof theory and foundations. In 1979 he moved to Stanford University, where he was Professor of Mathematics and Philosophy and remained active until emeritus status. He also spent visiting terms at institutions including Institute for Advanced Study, University of California, Berkeley, and University of Oxford, engaging with scholars tied to projects on foundations of mathematics, computability theory, and the history of logic.

Contributions to logic and philosophy of mathematics

Feferman's work spanned technical results and philosophical analysis. He advanced the theory of predicative systems by formulating and refining notions of predicativity connected to the programs of Henri Poincaré and W. V. O. Quine, producing systems that clarified the boundaries of predicative provability. Through collaborations and solo work he analyzed subsystems of second-order arithmetic and their proof-theoretic ordinals, relating to initiatives by Gerald Sacks, S. C. Kleene, and Stephen Kleene. Feferman contributed to the development of explicit mathematics and formal theories that capture constructive and classical content, engaging with the legacies of Brouwer, Luitzen Egbertus Jan Brouwer, and Wacław Sierpiński.

He produced influential results in axiomatic set theory and reflection principles, elucidating connections between large cardinal axioms studied by Kurt Gödel and formalizable forms of reflection akin to discussions by Paul Cohen and J. L. Kelley. Feferman's formal analyses of the concept of truth, definability, and satisfaction drew upon and informed debates involving Tarski and Alfred Tarski's semantic theory of truth. His work on formal provability and incompleteness interacted with the tradition stemming from Gödel's incompleteness theorems and the subsequent research by Per Martin-Löf and Gerhard Gentzen.

In the philosophy of mathematics Feferman was a leading voice in advocating a careful middle ground between formalism and platonism, often arguing for a pragmatic, practice-sensitive account of mathematical existence and explanation. He edited and contributed to volumes charting historical and conceptual developments in foundational thought, situating technical advances within broader narratives that involved figures like David Hilbert, Bernard Bolzano, and Imre Lakatos.

Collaborations and students

Feferman maintained extensive collaborations across logic, computer science, and philosophy. He coauthored with and influenced scholars such as Anil Nerode, Ruth Barcan Marcus, and John Burgess, and maintained intellectual exchanges with researchers at the Association for Symbolic Logic and the American Philosophical Association. His doctoral students included notable logicians and philosophers who themselves shaped subsequent generations, among them Harvey Friedman, George Boolos, and Daniel J. Velleman. Through mentoring and editorial work he fostered networks linking researchers at Princeton University, Harvard University, Yale University, and international centers like Université Paris-Sorbonne and University of Cambridge.

Awards and honors

Feferman received recognition from major professional societies and institutions. He was awarded fellowships and prizes, held memberships in bodies such as the American Academy of Arts and Sciences, and received honors from the National Academy of Sciences and the Association for Symbolic Logic. His editorial stewardship of journals and reference works earned him respect among editors of publications tied to Oxford University Press and Springer-Verlag. He was frequently invited to present plenary lectures at congresses including meetings of the International Congress of Mathematicians and the Philosophy of Science Association.

Category:People from the Bronx Category:American mathematicians Category:Philosophers of mathematics Category:1928 births Category:2016 deaths