emilyriehl
- On the latest episode of the Science podcast, Alex Kontorovich and I discuss the challenges of communicating mathematics among professional mathematicians: www.science.org/content/podc...
- This conversation was a follow-up to a column I wrote on the same topic entitled "Mathematics is hard for mathematicians to understand too" www.science.org/doi/10.1126/...
- If these challenges interest you and you are planning to attend the Joint Mathematics Meetings, join us tomorrow, Monday, and Tuesday for a great cluster of activities around the theme of Communicating Mathematics, organized by Katie Mann and others: sites.google.com/view/communi...
- In a talk called "A reintroduction to proofs" emilyriehl.github.io/files/reintr... I've speculated about teaching an undergraduate level introduction to proofs course but using dependent type theory as the implicit formal system in place of set theory and first order logic.
- This past fall, I taught a first year seminar course at Johns Hopkins along these lines. As part of the course, I developed the Reintroduction to Proofs Game: adam.math.hhu.de#/g/emilyrieh... which is now featured on the Lean Game Server: adam.math.hhu.de
- The game uses Lean tactics to animate the analogy between function types and implications, product types and conjunctions and so on.
-
View full threadAfter the semester ended, I reordered several of the worlds and made various edits and additions. Further contributions are very welcome, especially in the form of PRs to: github.com/emilyriehl/R...
- Reposted by emilyriehl[Not loaded yet]
- One of my favorites from Bill Thurston ❤️:
- I wrote about the challenge of mathematicians explaining mathematics to other mathematicians for Science Magazine's Expert Voices column series: www.science.org/doi/10.1126/...
- Here is a website describing activities around the challenge of communicating mathematics to be at the upcoming Joint Mathematics Meetings from January 4-7, 2026: sites.google.com/view/communi...
- Anyone registered for the conference is welcome to participate. More info about the Joint Meetings can be found here: jointmathematicsmeetings.org/jmm
- Kudos to Terry Tao for this: newsletter.ofthebrave.org/p/im-an-awar...
- @sciam.bsky.social gave me the opportunity to share some personal thoughts about the recently reported AI results from the #imo2025: www.scientificamerican.com/article/math...
- Reposted by emilyriehlWhile reporting, I stumbled across a recent talk that Tao gave on the subject of his latest research. youtu.be/cXqz5hgxlLM
- Reposted by emilyriehlMath at UCLA suffered the greatest blow. I spoke with Terry Tao—Fields Medalist and arguably the preeminent mathematician of his generation—who is apparently now doing his summer research in number theory without external funding.
- Reposted by emilyriehlThe Trump administration is launching a new wave of attacks on universities, and UCLA is the latest target. My reporting on how the university has been hit and how some of its scientists are responding: www.science.org/content/arti...
- One thing I've always appreciated about the NSF is their broad mission to "promote the progress of science" both through new research and its public communication. See the following thread for #DMSFunded work describing recent developments in category theory, homotopy theory, and formalization:
- I'm halfway through the @londmathsoc.bsky.social Hardy Lecture Tour. Titles and abstracts can all be found here: emilyriehl.github.io/talks/ and slides (when available) will eventually be added.
