 provable claims
 provable claims

All those debts of a bankrupt outstanding as of the date of the bankruptcy. (Dictionary of Canadian Bankruptcy Terms)
United Glossary of Bankruptcy Terms 2012.
Glossary of Bankruptcy.
United Glossary of Bankruptcy Terms 2012.
Glossary of Bankruptcy.
bankruptcy — /bangk rupt see, reuhp see/, n., pl. bankruptcies. 1. the state of being or becoming bankrupt. 2. utter ruin, failure, depletion, or the like. [1690 1700; BANKRUPT + CY] * * * Status of a debtor who has been declared by judicial process to be… … Universalium
preliminary report — Report presented by the trustee at the first meeting of creditors which details trustee s finding with regard to taking possession of the debtor s records and property; conservatory and protective measures; any legal proceedings undertaken or… … Glossary of Bankruptcy
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Bankruptcy in Canada — The procedures and legal consequences of consumer bankruptcy in Canada are governed by Canadian federal legislation.OverviewConsumer bankruptcy is a legislative procedure under Bankruptcy and Insolvency Act ( the BIA ) *(1) complemented by… … Wikipedia
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
debt — n [Old French dette, ultimately from Latin debita, plural of debitum debt, from neuter of debitus, past participle of debere to owe] 1: something owed: as a: a specific sum of money or a performance due another esp. by agreement (as a loan… … Law dictionary
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Enlightenment (The Scottish) — The Scottish Enlightenment M.A.Stewart INTRODUCTION The term ‘Scottish Enlightenment’ is used to characterize a hundred years of intellectual and cultural endeavour that started around the second decade of the eighteenth century. Our knowledge of … History of philosophy