Solomon Feferman
American philosopher and mathematician / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Solomon Feferman?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.
Quick Facts Born, Died ...
Solomon Feferman | |
---|---|
Born | (1928-12-13)December 13, 1928 |
Died | July 26, 2016(2016-07-26) (aged 87) |
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 | |
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 |
Close