It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as ...

Does the failure of an unsecured creditor to timely file a proof of claim necessarily doom the prospects for payment of its prepetition claim in a bankruptcy case? Conventional wisdom would say yes.

I first started teaching Geometry last year and have taken over "Informal Geometry" this year. As the name of the second class implies, the idea of formal proof is strongly de-emphasized; this class ...