Suchergebnisse
Suchergebnisse:
Solomon Feferman (* 13. Dezember 1928 in New York City; † 26. Juli 2016 in Stanford, Kalifornien) war ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Philosophie der Mathematik beschäftigte. Inhaltsverzeichnis. 1 Leben und Werk. 2 Schriften. 3 Literatur. 4 Weblinks. 5 Einzelnachweise. Leben und Werk.
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)
17. Nov. 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.
- 260KB
- 16
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.
7. Okt. 2016 · October 7, 2016. Stanford mathematical logician Solomon Feferman dies at 87. A memorial service will be held Oct. 8 for Professor Emeritus Solomon Feferman, one of the leading mathematical logicians of the 20th century. He died July 26 at his Stanford home at the age of 87. By Kate Chesley.
4. Aug. 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.
