Mathematics and computer science are intertwined. And they would not be destroyed --- but merely closed (to a large extent) as a solved problem.
Algorithms and proofs have many interconnections. (You can usually abstract one out of the other with a bit of creativity. I.e. the classic proof for infinity of primes gives a basic algorithm for creating new primes.)
Algorithms and proofs have many interconnections. (You can usually abstract one out of the other with a bit of creativity. I.e. the classic proof for infinity of primes gives a basic algorithm for creating new primes.)