Computational thinking has five parts: breaking problems into more solvable pieces, abstracting how a problem works into underlying rules, designing a series of steps that take inputs and produce ...

In addition to his proof—available for free (PDF)—he developed a "compiler" that would generate 2,3 Turing machine code that is capable of solving any computational problem.