One of the most fundamental invariants of any smooth projective variety is the canonical ring, the graded ring of all global pluricanonical holomorphic n-forms. We explain some of the recent ideas behind the proof of finite generation of the canonical ring and its connection with the programme of Iitaka and Mori in the classification of algebraic varieties.