[williamstein]

If you learn how to read and write proofs (formal mathematical arguments), you can apply what you've learned to thinking clearly, systematically and logically about various things. For example, clear rigorous disciplined deductive thinking is extremely helpful in writing, debugging and testing computer software.