- cross-posted to:
- programming@lemmygrad.ml
- cross-posted to:
- programming@lemmygrad.ml
A refutation of Cantor’s idealist diagonal argument using Turing’s materialist theory of computation.
A refutation of Cantor’s idealist diagonal argument using Turing’s materialist theory of computation.
My engineering-level math education and my longstanding intuitive skepticism for the diagonal argument made me a sucker for this one.