On the computational properties of the uncountability of the real numbers - Sam Sanders (2022)