That professors of mathematics never write formal proofs? Or that professors are not "professionals"? Because, CLEARLY, professors of mathematics (at least at Purdue and North Carolina) *do* write formal proofs and submit them for publication.
[Edit]: BTW, where'd you get your M.S. in Mathematics? Presumeably, at a place where none of your professors wrote formal proofs, right?