Part of Shulman’s point is that formal mathematical statements may not actually capture the intended mathematical insight, and mathematicians accordingly may be less interested in the true/false or proved/refuted status of formal assertions, giving preference and priority to the mathematical insight and understanding that they might achieve without formalization.
