Turing Award lecture on computational complexity and the nature of computer science | Synapse