Harvey Friedman bringing incompleteness and infinity out of quarantinenautil.us141 pointsdnetesn9 years ago