Get the latest tech news
Reverse math shows why hard problems are hard
Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.
None
Or read this on Hacker News
