Solomon Feferman: Difference between revisions

'''Solomon Feferman''' (December 13, 1928 – July 26, 2016)<ref name=":0">{{Cite web | url=http://www.illc.uva.nl/LogicList/newsitem.php?id=7645 |title = Solomon Feferman (1928-2016)}}</ref> was an American [[philosopher]] and [[mathematician]] who worked in [[mathematical logic]]. In addition to countless technical contributions to [[proof theory]], [[recursion 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]] and [[Alfred Tarski]]) and as a vocal proponent of the anti-platonistic philosophy of mathematics known as [[predicativism]].