HF
Science & Medicine
Harvey Friedman
Who
Harvey Friedman · Science & Medicine
What
Mathematical logic; reverse mathematics
When
1948, Chicago, Illinois, USA
Where
United States
Biography
Harvey Friedman is recognized among Jewish contributors to Science & Medicine — Mathematical logic; reverse mathematics
How & why
Friedman is an American mathematical logician who helped found reverse mathematics, the program that determines exactly which axioms are needed to prove mathematical theorems, and who has probed the boundaries of provability and large-cardinal strength. He entered university and academia at a famously young age. He is documented as being of Jewish heritage.
Sources & external links
Verify and go deeper with these external references.
Source: Jinfo.org — Jews in Mathematics
Contributions & Sources
Mathematical logic; reverse mathematics
1948
Source: Jinfo.org — Jews in Mathematics
Similar Contributors
Solomon Feferman
Same category, Related work, Similar era
Laszlo Kalmar
Same category, Related work, Similar era
G
Georg Kreisel
Same category, Related work, Similar era
Adolf Lindenbaum
Same category, Related work, Similar era
Andrzej Mostowski
Same category, Related work, Similar era
Paul Bernays
Same category, related work