Nice list of formulaes, actually, it's deep and good fundamental work. (the rightmost part of the last one seemed counter-intuitive to me, until I noticed that p is 1...0, so, ln(p) is always 0 or less; I have a feeling this part of formulae worth to dig deeper... for example, it fundamentally limits for delta_U to be more than or equal to zero, which forbids time-travel (so-called "chronological censorship", so, it prooves immutability of observed past))
It reminds me of Zenon's arrows, by the way: one of possible explanations of his paradoxes is discrete (non-continuos) nature of time.