Yahoo Web Search

Search results

  1. Solomon Feferman (December 13, 1928 – July 26, 2016) [2] was an American philosopher and mathematician who worked in mathematical logic.

  2. 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.

  3. Nov 17, 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. As you gather

  4. math.stanford.edu › ~feferman › papersPapers in PDF Format

    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.

  5. Oct 7, 2016 · Feferman, widely acknowledged as one of the leading mathematical logicians of the 20th century, died July 26 at his Stanford home after a brief illness following a stroke. He was 87.

  6. Aug 4, 2016 · 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.

  7. Solomon Feferman. American mathematician. Learn about this topic in these articles: contribution to impredicative constructions. In foundations of mathematics: Impredicative constructions.