There are also comparatively recent, apparently overlooked maths for investigating time.
"Non-well founded sets" give us a way to introduce "streams" into a discussion if time:
properTime = (moment, properTime)
Substituting on the RHS of the equation:
properTime = (moment, (moment, (moment..., properTime)...)
And properTime becomes a "stream" of moments, solving the problem of time's arrow.
Including "nonstandard analysis" yields a "nonstandard past" and a "nonstandard future," each infinitely close to the "standard present."
moment = (nonstandardPast, standardPresent, nonstandardFuture)
Then using the math of "situation theory," the nonstandardFuture "models" where possibilities exist and the nonstandardPast "models" where information (in the form of "infons") exists.
That enables looking at the Born rule as an "infomorphism," as in the math of Barwise's "channel theory".
Which is an example of "the inverse relationship principle"-- that when possibilities decrease, information decreases abd vice versa-- as in Barwise's math of "Informationalism."
All of these are maths which are currently overlooked.
(More elsewhere on the site.)