Anuncio
relacionado con: Solomon FefermanUnravel the Mysteries Of the World With Informative Books On Various Topics. Enjoy Great Deals and Discounts On an Array Of Products From Various Brands.
Resultado de búsqueda
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.
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 (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. Nació en Nueva York, y recibió su Ph.D. en 1957 de la Universidad de California, Berkeley bajo la dirección de Alfred Tarski.
- Estadounidense
- 26 de julio de 2016 (87 años), Stanford (Estados Unidos)
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.
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. Solomon Feferman nació en el Bronx en la ciudad de Nueva York de padres de clase trabajadora que habían emigrado a los Estados Unidos después de la Primera Guerra Mundial y se habían conocido y ...
