It reminds me of Arrow’s Impossibility Theorem [0]. David Deutsch had an anecdote in his book The Beginning of Infinity about explaining Arrow’s theorem to a U

It reminds me of Arrow’s Impossibility Theorem [0]. David Deutsch had an anecdote in his book The Beginning of Infinity about explaining Arrow’s theorem to a US congressman and eventually getting him to the point of understanding how it applies to the electoral college in principle and there is no simple legislative change that could mollify it (I think the discussion was about how preferential voting would improve upon FPTP voting). The congressman replied something like “this is lamentable” and Deutsch wrote a big passage about whether it makes sense that anyone should ever find a mathematical fact to be “lamentable.” I do think there will be pragmatic varieties of this sort of impossibility theorem for machine learning fairness and that society in a broad sense will have a hard time processing it, and the possible legislative reactions might be totally unreasonable, even unintentionally harmful. [0]: < https://en.m.wikipedia.org/wiki/Arrow's_impossibility_theorem https://en.m.wikipedia.org/wiki/Arrow's_impossibility_theore... >