Reverse math shows why hard problems are hard
172 points by gsf_emergency_6 5 days ago | 53 comments
  • degamad 5 days ago |