Skip to content(if available)orjump to list(if available)

Reverse math shows why hard problems are hard

degamad

Specifically, reverse math (a subset of metamathematics which looks at swapping axioms and theorems) allows us to show that some hard problems are equivalent to each other.