# Harvey Friedman
פרקי פודקאסט מובילים
מְעוּדכָּן:
harvey friedman (born 23 September 1948) is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete".
Recent metamathematical wonders and the question of arithmetical realism
Colloquium Mathematical Philosophy, Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wonders and the question of arithmetical realism". Abstract: Metamathematics is the study of what is possible or impossible in mathematics, the study …
Imagine Africa Lecture Series: Penn in Botswana
Much has changed in Botswana since President Festus Mogae warned in 2001, "We are threatened with extinction." The HIV/AIDS death rate in Botswana-once one of the highest in the world-has dropped significantly since that dire proclamation. Harvey Friedman, MD, Director of the now 10-year-old Botsw…
Recent metamathematical wonders and the question of arithmetical realism
Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wonders and the question of arithmetical realism". Abstract: Metamathematics is the study of what is possible or impossible in mathematics, the study of unprovability, limitations of met…
Recent metamathematical wonders and the question of arithmetical realism
Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wonders and the question of arithmetical realism". Abstract: Metamathematics is the study of what is possible or impossible in mathematics, the study of unprovability, limitations of met…
'BradCast' 10/14/2019 (Brad and Desi are back! And with a few helpful lessons!)
Brad and Desi are back today, following a month-long hiatus to deal with a family emergency, when Brad's otherwise very healthy 80-year old dad suffered a major stroke before ultimately passing away a few weeks later. We share a few memories of Harvey Friedman and a couple of very important lesson…
'BradCast' 10/14/2019 (Brad and Desi are back! And with a few helpful lessons!)
Brad and Desi are back today, following a month-long hiatus to deal with a family emergency, when Brad's otherwise very healthy 80-year old dad suffered a major stroke before ultimately passing away a few weeks later. We share a few memories of Harvey Friedman and a couple of very important lesson…
Harvey Friedman: The Genius Who Invented Reverse Mathematics
SPONSORS:
- Go to https://www.plaud.ai/curt to get a Plaud device today
- Go to https://shortform.com/toe for a free trial and an exclusive $50 OFF on your annual subscription
Harvey Friedman — the youngest professor in Stanford's history, founder of reverse mathematics, and the mathematician Kur…
Recent metamathematical wonders and the question of arithmetical realism
Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wonders and the question of arithmetical realism". Abstract: Metamathematics is the study of what is possible or impossible in mathematics, the study of unprovability, limitations of met…
מנוע חיפוש PODCAST
אתה יכול להשתמש באתר שלנו כדי לחפש3,835,481פודקאסטים ופודקאסטים197,431,008לפי אנשים, מקומות או נושאים.
I have no special talent. I am only passionately curious, and
I listen to podcasts.
‐ Albert "Llamacorn" Einstein
