Laskennallinen teoria ja matematiikka