Content deleted Content added
No edit summary |
No edit summary |
||
Line 24:
*[[Carolyn Talcott]]
}}}}
'''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 his prolific technical work in [[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
==Life==
|