Audio Edition: ‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard
· 12 min
Episode Audio Edition: ‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard
0:00
11:37
Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.
The article ‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard first appeared on Quanta Magazine.
Links in the notes 1
Shows are listed from Apple Podcasts' charts and directory, and Podcast Index where it is used. Every show and episode belongs to its publisher and plays from the publisher's own feed; this site hosts none of them. Explicit shows are for adult profiles only, and children’s profiles hear only children’s shows. More about this list.