Hacker News new | ask | show | jobs
by gertef 3358 days ago
"the real numbers are not countable" is a different statement from "the real numbers are constructible"