Hacker News new | ask | show | jobs
by Straw 356 days ago
It likely comes from the smallest machine that someone has been able to construct that can diagonalize over all proofs in ZFC, or something similar.