While you make a theoretically true statement, it is practically useless and irrelevant. I have a background in computer science and can cobble together some pr

While you make a theoretically true statement, it is practically useless and irrelevant. I have a background in computer science and can cobble together some proofs. Writing production software at a tech company is quite different from writing proofs for most software roles. I work with talented engineers and I doubt most of them could write a simple mathematical proof (mostly because they don't have the background or experience, not for lack of ability).