Why no mention of his chained arrow notation that renders Graham's number trivial to express compared to the much less capable Knuth up-arrows?
As a connoisseur of incredibly gigantic numbers (see the put.com web project "Counting really,Really,REALLY High") I consider that his greatest achievement.

This question is for testing whether you are a human visitor and to prevent automated spam submissions.