I imagine this will become one kind of branch of mathematics.