When are two algorithms the same? Towards addressing Hilbert's 24th problem

Konstantin Doubrovinski

The informal question of when two theorem proofs are "essentially the same" goes back to David Hilbert, who considered adding it (or something largely equivalent) to his famous lis…