Solomon Feferman

Solomon Feferman at the Association of Symbolic Logic, Pittsburgh, May 2004 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. Provided by Wikipedia
Showing 1 - 7 results of 7 for search 'Feferman, Solomon,', query time: 0.06s Refine Results
1
In the light of logic
Participants: Feferman, Solomon. [ ]; ProQuest (Firm) [ ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: c1998.
Superior document: Logic and computation in philosophy
Links: Get full text
Save to List
Saved in:
3
Ways of Proof Theory /
Participants: Avron, Arnon, [ MitwirkendeR, MitwirkendeR ]; Beckmann, Arnold, [ MitwirkendeR, MitwirkendeR ]; Beckmann, Arnold, [ MitwirkendeR ]; Beklemishev, Lev, [ MitwirkendeR, MitwirkendeR ]; Beklemishev, Lev, [ MitwirkendeR ]; ...
Published: [2013]
Superior document: Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1
Other Authors: “...Feferman, Solomon,...”
Links: Get full text; Get full text; Cover
Save to List
Saved in:
7
The Princeton Companion to Mathematics /
Participants: Allan, G. R., [ MitwirkendeR, MitwirkendeR ]; Alon, Noga, [ MitwirkendeR, MitwirkendeR ]; Alon, Noga, [ MitwirkendeR ]; Andrews, George, [ MitwirkendeR, MitwirkendeR ]; Andrews, George, [ MitwirkendeR ]; ...
Published: [2010]
Superior document: Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Backlist 2000-2013
Other Authors: “...Feferman, Solomon,...”
Links: Get full text; Get full text; Cover
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search