---------- Forwarded message ---------- From: Väänänen, Jouko A <[email protected]> Date: 2016-08-01 4:09 GMT-05:00 Subject: Fwd: [LOGIC] Solomon Feferman (1928-2016) To: "[email protected]" <[email protected]>
> Begin forwarded message: > 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 --- Pedro ZAMBRANO Profesor Asistente D.E. Departamento de Matemáticas Oficina 314-404 Universidad Nacional de Colombia Bogotá - Colombia PBX +57 1 3165000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHHvcWvE3%3D1i20q8gZZrxGBJM5i1heSgBiBUOBjMxjYdYXLPcg%40mail.gmail.com.
