As national and regional governments form expert commissions to regulate "automated decision-making," a new corporate-sponsored field of research proposes to formalize the elusive ideal of "fairness" as a mathematical property of algorithms and especially of their outputs.