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