Philosopher
Solomon Feferman
Overview
Solomon Feferman (; December 13, 1928 – July 26, 2016) 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.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Solomon Feferman
Ideas Solomon Feferman discusses
- Philosophy
- Western philosophy
- Computability theory
- Analytic philosophy
- Kurt Gödel
- Proof theory
- Mathematician
- Mathematical logic
- Doctor of Philosophy
- Princeton University
- Stanford University
- Set theory
- University of Oxford
- University of California, Berkeley
- Philosophy of mathematics
- World War I
- Patrick Suppes
- Oxford University Press
- Category theory
- Alfred Tarski
- Stroke
- New York City
- Cambridge University Press
- Contemporary philosophy
Place in the tradition
Part of Paraconsistent logic.