that really cement my opinion that everyone should be required to learn Ada before any other programming language or any other advanced computing use knowledge.

Systems must be black boxed with sane single input single output modules... it is really unfair to attempt to poke holes in good computing foundations with the examples of problems that arise from sloppy computing.
Is this as a reaction to my thing or is it a loose comment, because I don't exactly see what it has to do with my point... There are other languages who can describe hardware logic, for example vhdl, verilog, systemc. What I was talking about however, altough you can perfectly describe a system, there are still technical limits to implementing them. I believe it's still like a rule of thumb a new microprocessor doesn't work the first 3 or 4 times they try actually producing them, while that costs like a million dollars per try. My point of that example again was to illustrate that hard science logic math can still be BECOME flawed when it is eventually implemented, due to outside interference. They might even pass extensive testing and fail later.

I don't think that sounds so weird.