The following frames Cantor's argument in a more computational way, maybe it is of use: https://bartoszmilewski.com/2019/11/06/fixed-points-and-diagonal-argume

The following frames Cantor's argument in a more computational way, maybe it is of use: https://bartoszmilewski.com/2019/11/06/fixed-points-and-diagonal-arguments/ https://bartoszmilewski.com/2019/11/06/fixed-points-and-diag... Some of the references found in the above make for interesting reading as well.