Hacker News new | ask | show | jobs
by H8crilA 2277 days ago
His point is different. You cannot (by definition) ever write a "name", a formula, a rule, a lim expression, anything really, for a real that is not in the useful reals.