Yahoo Suche Web Suche

Suchergebnisse

1. Suchergebnisse:

1. www.amazon.de › Alfred-Tarski-Anita-Burdman-Feferman › dpAlfred Tarski: Life and Logic : Anita Burdman Feferman , Solomon...

   www.amazon.de › Alfred-Tarski-Anita-Burdman-Feferman › dp

   • Im Cache

   Anita Burdman Feferman and Solomon Feferman prove the ideal team for a daunting task. She is a well-known biographer, and he was a student of Tarski and is a distinguished logician in his own right, as well as the editor of Kurt Gödel's papers. The result is a brilliant success."

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

   www.wikiwand.com › es › Solomon_Feferman

   • Im Cache

   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.

3. www.academia.edu › 160389 › Turings_thesis(PDF) Turing's thesis | Solomon Feferman - Academia.edu

   www.academia.edu › 160389 › Turings_thesis

   • Im Cache

   Turing’s Thesis Solomon Feferman I n the sole extended break from his life and varied career in England, Alan Turing spent the years 1936–1938 doing graduate work at Princeton University under the direction of Alonzo Church, the doyen of American logicians. Those two years sufficed for him to complete a thesis and obtain the Ph.D.

4. www.britannica.com › biography › Solomon-FefermanSolomon Feferman | American mathematician | Britannica

   www.britannica.com › biography › Solomon-Feferman

   • Im Cache

   Other articles where Solomon Feferman is discussed: foundations of mathematics: Impredicative constructions: … (1885–1955) and the American mathematician Solomon Feferman have shown that impredicative arguments such as the above can often be circumvented and are not needed for most, if not all, of analysis.

5. www.ias.edu › scholars › solomon-fefermanSolomon Feferman - Scholars | Institute for Advanced Study

   www.ias.edu › scholars › solomon-feferman

   • Im Cache

   Solomon Feferman. Affiliation Mathematics Dates at IAS Member. School of Mathematics. 8/1959 – 6/1960. Degrees UC Berkeley. Ph.D. 1957. Honors Guggenheim Fellow 1972-73 ...

6. www.cambridge.org › core › journalsSolomon Feferman. Systems of predicative analysis.

   www.cambridge.org › core › journals

   • Im Cache

   12. März 2014 · Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 (1964), S. 1–30. - Volume 31 Issue 4

7. www.cambridge.org › core › journalsIN MEMORIAM: SOLOMON FEFERMAN (1928–2016)

   www.cambridge.org › core › journals

   • Im Cache

   IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) - Volume 23 Issue 3. Please list any fees and grants from, employment by, consultancy for, shared ownership in or any close relationship with, at any time over the preceding 36 months, any organisation whose interests may be affected by the publication of the response.