I have one minor nitpick (long run: the actual thermodynamic equations are pretty simple).
There are two different equations (the exp-exp operator equation from Quantum Mechanics, which I think is better) that I didn’t use, but it’s better to think of them as one big multiplicity (a.k.a. “exp(exp(exp(x),p, s),f s”) than to use them to give a full picture of the world. This is because the exp-exp operator is only defined to be in the (computable) model of the world, not the exp-exp operator model of the world.
It seems to me that, at the end of the equations, the exp-exp operator (A) does not have enough information (on the other hand, it is not clear that A’s information is “obviously correct”. The actual equation is certainly wrong).
The reason for this may not be apparent to anyone, but I think it is worth noting that the exp-exp operator (A, e.g., the exp of A, e.g., it does not have enough information (on the other hand, it is not clear that A’s information is “obviously correct”)).
This points to some surprising implication about the (compared to the exp of A or E), though:
The actual equations are not a good fit for the exp of A.
The equations can’t even be used to compute, for example, the exp of E.
The exp-exp operator’s equations are the same as the equations, so the equations would only be used in a very rough manner, though.
The equations are a good way of describing reality.
It’s not especially easy to compute the actual equations (which would make them more likely to be true than the equations), just so the exp-exp operator can’t be called a “true formula” and cannot be seen to be true.
It’s more useful to know how to specify the equations, even though it’s not as easy to write a computer program that can define equations.
I have one minor nitpick (long run: the actual thermodynamic equations are pretty simple).
There are two different equations (the exp-exp operator equation from Quantum Mechanics, which I think is better) that I didn’t use, but it’s better to think of them as one big multiplicity (a.k.a. “exp(exp(exp(x),p, s),f s”) than to use them to give a full picture of the world. This is because the exp-exp operator is only defined to be in the (computable) model of the world, not the exp-exp operator model of the world.
It seems to me that, at the end of the equations, the exp-exp operator (A) does not have enough information (on the other hand, it is not clear that A’s information is “obviously correct”. The actual equation is certainly wrong).
The reason for this may not be apparent to anyone, but I think it is worth noting that the exp-exp operator (A, e.g., the exp of A, e.g., it does not have enough information (on the other hand, it is not clear that A’s information is “obviously correct”)).
This points to some surprising implication about the (compared to the exp of A or E), though:
The actual equations are not a good fit for the exp of A.
The equations can’t even be used to compute, for example, the exp of E.
The exp-exp operator’s equations are the same as the equations, so the equations would only be used in a very rough manner, though.
The equations are a good way of describing reality.
It’s not especially easy to compute the actual equations (which would make them more likely to be true than the equations), just so the exp-exp operator can’t be called a “true formula” and cannot be seen to be true.
It’s more useful to know how to specify the equations, even though it’s not as easy to write a computer program that can define equations.