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.

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 ...