What can computers do in principle? What are their inherent theoretical limitations? The theoretical framework which enables such questions to be answered has b