This is an excellent 'road map' to the two key theorems of information theory.

The focus on decoding complexity in the noisy coding theorem is particularly welcome. A separate article amplifying just this aspect (error exponent, Pareto complexity, etc) would be welcome.