Is there a field of math that intersects mathematical physics and theoretical computer science?