What does counting pigeons have to do with Turing machines? More than you might think. In @quantamagazine.bsky.social, my latest foray into the wild world of meta-complexity, this time through the lens of mathematical logic:
‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard | Quanta MagazineResearchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.www.quantamagazine.org