Turing computability is a technical concept first. You don't "need" to be strictly technical (obviously), but talking about Turing computability and giving a proof-by-contradiction kind of sends off the vibes of a technical/theoretical point, don't you think? I was making an observation about how I interpreted your comment, and why, I wasn't telling you what you need to write about.