Great ideas in theoretical computer science