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-diag... Some of the references found in the above make for interesting…
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-diag... Some of the references found in the above make for interesting…