&gt; I don&#x27;t think that&#x27;s possible for most of them. Quite a few formulas aren&#x27;t equivalent to any one program,<p>Even every proof can be expressed as a program, see Curry–Howard correspondence [1].<p>&gt; and most variables don&#x27;t have a fixed meaning.<p>I think this is kind of the point of the original comment.
For a physicist PV=nRT is concise and clear but for everyone else?
The letters P, V, n, R, T can have many meanings but in the context
of this formula their meaning is fixed. Why not write:<p><pre><code>    pressure * volume = AVOGADRO * BOLTZMAN * temperature
</code></pre>
&gt; Can&#x27;t really think of one that could be improved by writing it as pseudo code.<p>See example above, but I think it strongly depends on what one is familiar with.<p>[1] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Curry%E2%80%93Howard_correspondence" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Curry%E2%80%93Howard_correspon...</a>