What about busy beaver numbers? http://en.wikipedia.org/wiki/Busy_beaver