Specifically, when learning a new area of mathematics, when might it be wise to approach it with rigorous proofs/justification as a main priority? There seems to be an emphasis on learning an informal, generally computational approach some subjects \_before\_ a formal approach, but I am not convinced this is necessarily ideal. Additionally, have any of you found that a formal approach significantly assists computational skills where relevant? Any perspectives are welcome. #science