Correcting an error in a previous post about Turing's famous proof.

12/27/24. When I first published this I got some of the details wrong. Specifically my discussion of countable and uncountable infinite...