create_comment·5 ปีที่แล้ว·discussThe 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 reading as well.
https://bartoszmilewski.com/2019/11/06/fixed-points-and-diag...
Some of the references found in the above make for interesting reading as well.