Interactions of Computational Complexity Theory and Mathematics