The Quanta Podcast podcast

Audio Edition: ‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard

0:00
11:37
Spola tillbaka 15 sekunder
Spola framåt 15 sekunder

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.

Fler avsnitt från "The Quanta Podcast"