‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard | Quanta Magazine
www.quantamagazine.org
Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.