  When a decision, such as the approval or denial of a bank loan, is delegated
to a computer, an explanation of that decision ought to be given with it. This
ethical need to explain the decisions leads to the search for a formal
definition of the notion of explanation. This question meets older questions in
logic regarding the explanatory nature of proof.
