I just wanted to point out that what is described with Newton and Leibniz is a very, very simplified example.
I imagine that really, Newton and Leibniz wouldn’t be the only ones counted. With Shapley values, all of the other many people responsible for them doing that work and for propagating it would also have shared responsibility. Plus, all of the people who would have invented calculus had the two of them not invented it also would have had some part of the Shapley value.
The phrase “The Shapley assigns equal value to equivalent agents.” is quite tricky here, as there’s a very specific meaning to “equivalent agents” that probably won’t be obvious to most readers at first.
Of course, much of this complexity also takes place with counterfactual value. (As in, Newton and Leibniz aren’t counterfactually responsible for all of calculus, but rather some speedup and quality difference, in all likelihood).
Nice post!
Quick thought on example 2:
I just wanted to point out that what is described with Newton and Leibniz is a very, very simplified example.
I imagine that really, Newton and Leibniz wouldn’t be the only ones counted. With Shapley values, all of the other many people responsible for them doing that work and for propagating it would also have shared responsibility. Plus, all of the people who would have invented calculus had the two of them not invented it also would have had some part of the Shapley value.
The phrase “The Shapley assigns equal value to equivalent agents.” is quite tricky here, as there’s a very specific meaning to “equivalent agents” that probably won’t be obvious to most readers at first.
Of course, much of this complexity also takes place with counterfactual value. (As in, Newton and Leibniz aren’t counterfactually responsible for all of calculus, but rather some speedup and quality difference, in all likelihood).