
Solomon Feferman
American philosopher and mathematician
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.2
From Wikipedia’s article on Solomon Feferman (this version), CC BY-SA 4.0.
Born Dec 13, 1928, died Jul 26, 2016.1
Companies
- Association for Symbolic LogicChair 1980 to 198213
Early life and education
- Date not recordedUniversity of California, Berkeley3
Career
Occupation: philosopher, historian of mathematics, university teacher, mathematician.6
- 1980 to 1982Chair, Association for Symbolic Logic5
- Date not recordedWorked at Stanford University Philosophy Department4
- Date not recordedWorked at Stanford University4
Personal life
Awards
Links
Sources
The numbers on this page point here. Each one links to the record it came from.
- 1WikidataSolomon Feferman on Wikidata
- 2WikipediaSolomon Feferman on Wikipedia
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11Wikidataaward, as reported
- 12
- 13
- 14Wikimedia CommonsSolomon Feferman photo by Andrej Bauer, CC BY-SA 2.5 si