Harvey Friedman bringing incompleteness and infinity out of quarantine · HackerTrans