TLDR · QUICK LINKS
‘REVERSE MATHEMATICS' ILLUMINATES WHY HARD PROBLEMS ARE HARD
Summary from the TLDR newsletter
Mathematicians have used reverse mathematics to prove that many distinct theorems in complexity theory are actually exactly equivalent.
TLDR · QUICK LINKS
Mathematicians have used reverse mathematics to prove that many distinct theorems in complexity theory are actually exactly equivalent.