> Proof of work sort of kind of solves it, but not really, and at tremendous cost. Nevertheless the fact that it gets close is maybe suggestive

It doesn't solve it, and it will never be close. If you ant just one reason, it's easy: enforcement. You smart contracts mean zilch if you can't enter a house some scammer just sold you.