I would argue that the very nature of the math behind programming is cause for it not to be regulated easily. In other applied fields you don't run up against u

I would argue that the very nature of the math behind programming is cause for it not to be regulated easily. In other applied fields you don't run up against undecidable problems and Rice's theorem. If it is not possible to mathematically certify that a particular program has a particular property how can you regulate the programmers? Only allow them non-Turing complete languages?