Computational Perspectives on Number Theory