Emily Riehl
These are the podcasts created by the Girls Talk Math campers at the University of North Carolina at Chapel Hill in July 2023.
Urs Schreiber: How the Super Point Emerges from Pure Nothing
Urs Schreiber explains how higher category theory generates physical structures from the empty set to supergravity. The discussion weaves philosophy, topology, and gauge theory to show how “something” can emerge from “nothing.” 0:00 Introduction1:27 The Creation of nLab4:36 Philosophy Meets Physic…
Looking for continents on exoplanets, and math is hard for mathematicians, too
First up on the podcast, the best images of exoplanets right now are basically bright dots. We can’t see possible continents, potential oceans, or even varying colors. To improve our view, scientists are proposing a faraway fleet of telescopes that would use light bent by the Sun’s gravity to magni…
Move over, vibe-coding. Vibe-proving is here for math
When ChatGPT first came onto the scene, it wowed users with its writing abilities, but drew laughs for generating images of seven-fingered hands and struggling with basic math, where 2+2 didn’t always equal 4. But more recently, things have changed: Google and OpenAI’s models bagged gold medals at …
Emily Riehl (GUEST): Metamathematics and Infinity Category Theory
Emily Riehl (Johns Hopkins, Mathematics) joins us to discuss the power of abstraction in mathematics. Is category theory the mathematics of mathematics? What is infinity category theory? How has the form of a mathematical proof changed over time? Can AI execute mathematical proofs?
Check out Emil…
Emily Riehl Makes Infinity Categories Elementary
Emily Riehl, one of the world’s leading category theorists, shares her vision for making infinity category theory something undergrads can actually learn. In this talk, she breaks down how rethinking the foundations of math could change the way it’s taught and understood—and why it might redefine w…
aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
Higher Category Theory, Homotopy & AI in Math
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
…
aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
Synthetic vs. Analytic Math: Inspired by Emily Riehl
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/abou…
Creating 'world models' for robots + An AI math shakeup
When you ask an LLM like ChatGPT or Claude a question, the model goes through its massive amount of training data and guesses the answer by mathematically predicting the word most likely to appear next in a sentence.
This model, experts say, will not work well for technology designed to navigate t…
The Most Unorthodox Mathematician Of Our Times
In this episode, we step into the aggressively multidimensional world of Dr. Emily Riehl, a Professor of Mathematics at Johns Hopkins University.
To the academic establishment, she is a world-class visionary shaping fields like higher category theory and homotopy type theory, authoring advanced te…
PODCAST-HAKUKONEET
Voit käyttää verkkosivustoamme etsiäksesi3,827,680-podcasteja ja196,269,523-jaksoja ihmisten, paikkojen tai aiheiden mukaan.
Tietoon sijoittaminen tuottaa parhaiten, joten kuuntelen podcasteja.
‐ Benjamin "Llamacorn" Franklin
MUOKKAA
Kiitos, kun autoit pitämään podcast-tietokantaa ajan tasalla.
