Dictionary De - En
De - Es
De - Pt| Proverbs, aphorisms, quotations (English) | by Linux fortune |
| HOW TO PROVE IT, PART 3 proof by obfuscation: A long plotless sequence of true and/or meaningless syntactically related statements. proof by wishful citation: The author cites the negation, converse, or generalization of a theorem from the literature to support his claims. proof by funding: How could three different government agencies be wrong? proof by eminent authority: 'I saw Karp in the elevator and he said it was probably NP- complete.' | |
| HOW TO PROVE IT, PART 5 proof by accumulated evidence: Long and diligent search has not revealed a counterexample. proof by cosmology: The negation of the proposition is unimaginable or meaningless. Popular for proofs of the existence of God. proof by mutual reference: In reference A, Theorem 5 is said to follow from Theorem 3 in reference B, which is shown to follow from Corollary 6.2 in reference C, which is an easy consequence of Theorem 5 in reference A. proof by metaproof: A method is given to construct the desired proof. The correctness of the method is proved by any of these techniques. | |
| Ginsberg's Theorem: (1) You can't win. (2) You can't break even. (3) You can't even quit the game. Freeman's Commentary on Ginsberg's theorem: Every major philosophy that attempts to make life seem meaningful is based on the negation of one part of Ginsberg's Theorem. To wit: (1) Capitalism is based on the assumption that you can win. (2) Socialism is based on the assumption that you can break even. (3) Mysticism is based on the assumption that you can quit the game. | |
