Hacker News new | ask | show | jobs
by mtdewcmu 4689 days ago
This appears to be exactly the concept I was talking about. Maybe I read about these numbers some time ago and forgot that they already had a name.

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