You're confusing pedantry with rigor. The fact that a compiler will complain at you if you misspell 'continue' but a mathematical proof will keep going just fine doesn't mean that programming is more 'rigorous' than mathematics.