P, NP and Mathematics - a computational complexity perspective