Solomon Feferman

Solomon Feferman
Solomon Feferman at the Association of Symbolic Logic, Pittsburgh, May 2004
Born(1928-12-13)December 13, 1928
DiedJuly 26, 2016(2016-07-26) (aged 87)
Alma materCalifornia Institute of Technology (BS)
University of California, Berkeley (PhD)
EraContemporary philosophy
RegionWestern philosophy
SchoolAnalytic
Predicativism
ThesisFormal Consistency Proofs and Interpretability of Theories (1957)
Doctoral advisorAlfred Tarski
Doctoral students
Main interests
Philosophy of mathematics
Proof theory
Theory of computation
Notable ideas
Stratified systems for the foundations of category theory[1]
Feferman–Schütte ordinal
Ordinal collapsing function
Explicit mathematics
Preview warning: Page using Template:Infobox philosopher with unknown parameter "influences"
Preview warning: Page using Template:Infobox philosopher with unknown parameter "influenced"

Solomon Feferman (December 13, 1928 – July 26, 2016)[2] was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic (for instance, via biographical writings on figures such as Kurt Gödel, Alfred Tarski, and Jean van Heijenoort) and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.

  1. ^ "Enriched Stratified systems for the Foundations of Category Theory" by Solomon Feferman (2011)
  2. ^ "Solomon Feferman (1928-2016)".