結果 : is theoretical computer science a branch of mathematics