Hacker News new | ask | show | jobs
by mtdewcmu 4689 days ago
Take a look at this.

http://en.wikipedia.org/wiki/Definable_number