Harvey Friedman
Harvey Friedman · Science & Medicine
Mathematical logic; reverse mathematics
1948, Chicago, Illinois, USA
United States
Harvey Friedman is recognized among Jewish contributors to Science & Medicine — Mathematical logic; reverse mathematics
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.
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; reverse mathematics
Source: Jinfo.org — Jews in Mathematics
Similar Contributors
Adolf Lindenbaum
Andrzej Mostowski
Georg Kreisel
Laszlo Kalmar
Solomon Feferman
