Also, I wouldn't be surprised if mathematical proofs have application in computer science.