For those who are:
Mathematically literate, but
Not familiar with this particular analogy (of proofs <-> agents)
Do you know of a good reference for how to interpret discussions like this?
For example: ” tries to prove that , and tries to prove ”—If A and B are propositions, what does it mean for a proposition to try and prove another proposition?
(There might be more language that needs interpreting, but I got stuck there.)
You can replace “best guess at a stock’s future price” with “best guess at a stock’s future price, time-discounted using a risk free rate” and the essential question still remains. This is Wikipedia’s framing of the equity premium puzzle.