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