A joke imagines a computer that solves every math problem · Digg