
Ian C. answered 09/17/20
Experienced High School and College Computer Science Tutor
What an interesting question. Let's start by saying that codes are things that mean something. For something to "mean" something, you've got to have a receiver or decoder. You could call that thing a computer, or a mind or consciousness. Here, I'll just call it a mind.
If a code is something that registers meaningfully on a mind, then poof, there must be a mind (somewhere) in order to have a code (by definition). That implies a de-coder at least.
It doesn't imply an encoder, at least not until you define the decoder. If you define the decoder, you have to put it into terms that make sense. That means that you're decoding the decoder, and so (by definition) the decoder is also encoding.
Now, you might think that this basically proves that code implies encoders, but it doesn't! Logical systems have lots of undefined constructs. For example, dividing by zero is undefined in arithmetic, yet nothing falls apart.