Publication Date



Technical Report: UTEP-CS-20-06


Physicists working on quantum field theory actively used "macro" analyticity -- e.g., that an integral of an analytical function over a large closed loop is 0 -- but they agree that "micro" analyticity -- the possibility to expand into Taylor series -- is not physically meaningful on the micro level. Many physicists prefer physical theories with physically meaningful mathematical foundations. So, a natural question is: can we preserve physically meaningful "macro" analyticity without requiring physically meaningless "micro" analyticity? In the 1970s, an attempt to do it was made by using constructive mathematics, in which only objects generated by algorithms are allowed. This did not work out, but, as we show in this paper, the desired separation between "macro" and "micro" analyticity can be achieved if we limit ourselves to feasible algorithms.