Yahoo Search Búsqueda en la Web

Entrar

Resultado de búsqueda

  1. math.stanford.edu › ~fefermanSolomon Feferman's homepage - Stanford University

    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.

  2. es.wikipedia.org › wiki › Solomon_FefermanSolomon Feferman - Wikipedia, la enciclopedia libre

    Solomon Feferman (13 de diciembre de 1928-26 de julio de 2016) fue un filósofo y matemático estadounidense cuyo mayor trabajo ha sido en lógica matemática, en particular en teoría de la demostración.

    • Estadounidense
    • 26 de julio de 2016 (87 años), Stanford (Estados Unidos)

  3. en.wikipedia.org › wiki › Solomon_FefermanSolomon Feferman - Wikipedia

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

    • Formal Consistency Proofs and Interpretability of Theories (1957)

  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. Imágenes

    • Stanford mathematical logician Solomon Feferman dies at 87 | Stanford News
    • Solomon Feferman - John Simon Guggenheim Memorial Foundation...
    • Solomon Feferman
    • Stanford mathematical logician Solomon Feferman dies at 87 | Stanford News
    • Solomon Feferman Symposium | Department of Philosophy

    Ver todo

  6. www.wikiwand.com › es › Solomon_FefermanSolomon Feferman - Wikiwand

    Solomon Feferman fue un filósofo y matemático estadounidense cuyo mayor trabajo ha sido en lógica matemática, en particular en teoría de la demostración. Nació en Nueva York, y recibió su Ph.D. en 1957 de la Universidad de California, Berkeley bajo la dirección de Alfred Tarski.

  7. math.stanford.edu › ~feferman › papersSolomon Feferman - Stanford University

    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. As you gather

  8. hmn.wiki › es › Solomon_FefermanSalomón Feferman

    Solomon Feferman (13 de diciembre de 1928 - 26 de julio de 2016) fue un filósofo y matemático estadounidense que trabajó en lógica matemática.