Aspects and Prospects of Theoretical Computer Science