### Logic List Mailing Archive

## Solomon Feferman (1928-2016)

We are sad to report that Solomon Feferman died on 26 July 2016 following
a stroke. Sol is widely known among mathematicians, philosophers, and
computer scientists for his contributions to many areas in mathematical
logic and the philosophy of logic and mathematics. He provided the
foundations for generalizations of the GÃ¶del incompleteness theorems and
the arithmetization and formalization of metamathematics in general. He
shaped modern proof theory; in particular in ordinal analysis he
determined the proof-theoretic ordinal of the predicative subsystem, known
as the SchÃ¼tte-Feferman ordinal. Building on earlier work by Turing, he
proved results on iterated additions of proof-theoretic reflection
principles to arithmetic. Sol's work on axiomatic theories of truth and,
in particular, the Kripke-Feferman system has been highly influential. Sol
often travelled together with his wife Anita, and they wrote together a
celebrated biography of Sol's PhD supervisor Alfred Tarski. He was greatly
affected by Anita's death last year.
-- BLC committee
British Logic Colloquium
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam