Reverse math shows why hard problems are hard

(quantamagazine.org) by gsf_emergency_6 | Dec 2, 2025 | 53 comments on HN