Resultado da Busca
Solomon Feferman. Professor of Mathematics and Philosophy, Em. Patrick Suppes Professor of Humanities and Sciences, Em. Stanford University. Interests: Mathematical logic, especially proof theory and theory of computation. Foundations of mathematics, especially constructive and predicative foundations. Philosophy of mathematics.
- Vita
Date of Birth: December 13, 1928 Place of Birth: New York,...
- More Photographs
Left to Right: Peter Aczel, Sol Feferman, Robin Gandy, John...
- Courses
Courses 2007-2008 . Set Theory, Math 161 (Winter 2008);...
- Books
Books . Alfred Tarski: Life and Logic (Anita Burdman...
- CSLI
Mission Statement. The Center for the Study of Language and...
- Logic at Stanford
Logic. There is a long and impressive history of activity...
- Vita
Notable ideas. Stratified systems for the foundations of category theory [1] Feferman–Schütte ordinal. Ordinal collapsing function. Explicit mathematics. Solomon Feferman (December 13, 1928 – July 26, 2016) [2] was an American philosopher and mathematician who worked in mathematical logic.
- Formal Consistency Proofs and Interpretability of Theories (1957)
Solomon Feferman (Nova Iorque, 13 de dezembro de 1928 - 26 de julho de 2016) [2] foi um matemático e filósofo estadunidense. Trabalhou com lógica matemática. Obteve o seu Ph.D. em 1957 na Universidade da Califórnia em Berkeley, orientado por Alfred Tarski. Foi professor da Universidade Stanford.
Solomon Feferman--Papers and Slides in PDF Format. ( Caveat lector: published versions of the following may contain some changes.) Degrees of unsolvability associated with classes of formalized theories, J. Symbolic Logic 22 (1957) 161-175.
17 de nov. de 2006 · Solomon Feferman. Institute for Advanced Study, Princeton Gödel Centenary Program Friday, Nov. 17, 2006. What Gödel accomplished in the decade of the 1930s before joining the Institute changed the face of mathematical logic and continues to influence its development.
7 de out. de 2016 · By Kate Chesley. A memorial service will be held Saturday, Oct. 8, at 4 p.m. at the Faculty Club for Solomon Feferman, professor emeritus of mathematics and philosophy and the Patrick Suppes Family Professor in the School of Humanities and Sciences, Emeritus.
4 de ago. de 2016 · Patrick Suppes Professor of Humanities and Sciences, Em. With great sadness, the Philosophy Department notes the passing of our friend and colleague, Solomon Feferman, who died on Tuesday, July 26, 2016 at his Stanford home after an illness of about three months. He was 87.
