Also see this mathoverflow post by Scott Aaronson as a follow-up to the article: http://mathoverflow.net/questions/34710/succinctly-naming-big-numbers-zfc-versu

Also see this mathoverflow post by Scott Aaronson as a follow-up to the article: http://mathoverflow.net/questions/34710/succinctly-naming-big-numbers-zfc-versus-busy-beaver http://mathoverflow.net/questions/34710/succinctly-naming-bi...