Solomon Feferman
Solomon Feferman · Science & Medicine
Mathematical logic; predicativity and proof theory
1928, New York City, United States — 2016, Stanford, California, United States
United States
Solomon Feferman is recognized among Jewish contributors to Science & Medicine — Mathematical logic; predicativity and proof theory
Solomon Feferman was an American mathematical logician at Stanford who made deep contributions to proof theory and predicativity, developing systems that measure the strength of mathematical theories. He also edited the collected works of Kurt Gödel. He is Jewish.
Verify and go deeper with these external references.
Source: Jinfo.org — Jews in Mathematics
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Mathematical logic; predicativity and proof theory
Source: Jinfo.org — Jews in Mathematics
Similar Contributors
Georg Kreisel
Eugene Wigner
Paul Bernays
Saharon Shelah
Adolf Lindenbaum
