A refutation of Cantor’s idealist diagonal argument using Turing’s materialist theory of computation.