# 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 o…
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 Botswa…
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 meth…
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 meth…
'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 lessons…
'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 lessons…
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 Kurt…
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 meth…
محرك بحث البودكاست
يمكنك استخدام موقعنا الإلكتروني للبحث في ملفات podcast3,835,481وحلقات197,431,008حسب الأشخاص أو الأماكن أو المواضيع.
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
تعديل
شكراً على مساعدتنا في الحفاظ على قاعدة بيانات البودكاست مُحدَّثة.
