The distinction between formal and rigorous methods is drawn.

I was acquainted with formal logic and had spent 5 years in software development before I formally studied maths and philosophy as an undergraduate. When I began undergraduate mathematics I already had a conception of proof which had been corrupted by exposure to the ideas of Bertrand Russell, and was reluctant to settle even then for informal proofs.

As a philosophy student I was unhappy with the