Solomon Feferman at the Association of Symbolic Logic, Pittsburgh, May 2004
Born
(1928-12-13)December 13, 1928
The Bronx, New York City, US
Died
July 26, 2016(2016-07-26) (aged 87)
Stanford, California, US
Alma mater
California Institute of Technology University of California, Berkeley
Era
Contemporary philosophy
Region
Western philosophy
School
Analytic Predicativism
Thesis
Formal Consistency Proofs and Interpretability of Theories (1957)
Doctoral advisor
Alfred Tarski
Doctoral students
Jon Barwise
Carolyn Talcott
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.
^"Enriched Stratified systems for the Foundations of Category Theory" by Solomon Feferman (2011)
SolomonFeferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. In addition to his...
1942 until his death in 1983. His biographers Anita Burdman Feferman and SolomonFeferman state that, "Along with his contemporary, Kurt Gödel, he changed...
Jean van Heijenoort and (with her husband, logician SolomonFeferman) of Alfred Tarski. Feferman was born on July 27, 1927. She was originally from Los...
banks in economic models The ordinal collapsing function developed by SolomonFeferman Heaviside step function In pharmacology, the fraction of ligand bound...
Wilhelm Ackermann, Heinz Bachmann, Wilfried Buchholz, Georg Cantor, SolomonFeferman, Gerhard Jäger, Isles, Pfeiffer, Wolfram Pohlers, Kurt Schütte, Gaisi...
Russell (1907), though the meaning has changed a little since then. SolomonFeferman provides a historical review of predicativity, connecting it to current...
predicates had been obtained earlier using very different methods by SolomonFeferman. Boolos was an authority on the 19th-century German mathematician and...
Alonzo Church while at Princeton, and defended his thesis in 1958. SolomonFeferman (2005) writes of this period: Scott began his studies in logic at Berkeley...
Independence, Missouri, to Kenneth T. and Evelyn Barwise. A pupil of SolomonFeferman at Stanford University, Barwise started his research in infinitary...
(PhD). University of California, Berkeley. Feferman and Feferman 2004: 332-3 Feferman, Anita, and SolomonFeferman, 2004. Alfred Tarski: Life and Logic. Cambridge...
dancer 1927 – James Wright, American poet and academic (d. 1980) 1928 – SolomonFeferman, American philosopher and mathematician (d. 2016) 1929 – Christopher...
to be true, based on his belief in his new "ultimate L" conjecture. SolomonFeferman argued that CH is not a definite mathematical problem. He proposed...
John Rawls United States 2001 Saul A. Kripke United States 2003 SolomonFeferman United States 2005 Jaakko Hintikka Finland 2008 Thomas Nagel Yugoslavia...
lending them the name 2-admissible ordinals. An unpublished paper by SolomonFeferman supplies, for each finite n {\displaystyle n} , a similar property...
provability logic; Transfinite iteration of theories, due to Alan Turing and SolomonFeferman; The discovery of self-verifying theories, systems strong enough to...
acclaimed mathematician". San Francisco Chronicle. Retrieved 2007-10-31. SolomonFeferman, The Gödel Editorial Project: A synopsis [1] p. 11. Pearce, Jeremy...
consciousness suggests a quantum process." In May 1995, Stanford mathematician SolomonFeferman attacked Penrose's approach on multiple grounds, including the mathematical...
describable by very few bits of information. Related critique was offered by SolomonFeferman and others. Douglas S. Robertson offers Conway's game of life as an...
much greater than that of constructive mathematics, to the point that SolomonFeferman has said that "all of scientifically applicable analysis can be developed...