Hacker News new | ask | show | jobs
Definable Real Number (en.wikipedia.org)
4 points by nill0 53 days ago