TL;DR; The major question in the philosophy of computer science, according to Smith, is: What is computation?