absolutely right. how do you translate from the strings &quot;excitations of quantum fields&quot; to &quot;math with a lot of greek symbols&quot;? Very illuminating is the attempt to convert higher math into computer programs (Bertrand Russell tried this 100 years ago). What is mathematics not reducable to programs, and why isn&#x27;t physics written in a logic language? It would look like this: <a href="http:&#x2F;&#x2F;us.metamath.org&#x2F;nfegif&#x2F;mmnf.html" rel="nofollow">http:&#x2F;&#x2F;us.metamath.org&#x2F;nfegif&#x2F;mmnf.html</a><p>Ultimately you end with set theoretic axioms. But what about functions over time? Category theory is more philosophic than one would think. The true mystery to me is why unconventional thought is so rare. I guess it doesn&#x27;t pay well to think about things from scratch, certainly in business and also not in science driven by peer-review.