Fwd: [LOGIC] Solomon Feferman (1928-2016)
11 views
Skip to first unread message
Pedro H. Zambrano
Aug 1, 2016, 7:09:36 AM8/1/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
---------- Forwarded message ----------
From: Väänänen, Jouko A <jouko.v...@helsinki.fi>
Date: 2016-08-01 4:09 GMT-05:00
Subject: Fwd: [LOGIC] Solomon Feferman (1928-2016)
To: "logic...@Helsinki.FI" <logic...@helsinki.fi>
> 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
From: Väänänen, Jouko A <jouko.v...@helsinki.fi>
Date: 2016-08-01 4:09 GMT-05:00
Subject: Fwd: [LOGIC] Solomon Feferman (1928-2016)
To: "logic...@Helsinki.FI" <logic...@helsinki.fi>
> 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 ZAMBRANOProfesor Asistente D.E.
Departamento de Matemáticas
Oficina 314-404
Universidad Nacional de Colombia
Bogotá - Colombia
PBX +57 1 3165000 ext. 13163
Departamento de Matemáticas
Oficina 314-404
Universidad Nacional de Colombia
Bogotá - Colombia
PBX +57 1 3165000 ext. 13163
Reply all
Reply to author
Forward
0 new messages