>>9
The only thing gained from the absence of rigorous proofs is faulty software. But nobody cares because people are used to a continuous stream of exploits followed by patches. Just because everyone thinks it's ok doesn't mean it's ok. It only means the standards for quality are too low to justify achievable perfection.