Linux Cookie
fortune: 931 - 940 of 1140 from linux cookie
Motd - Message of the Day
Humor, Quotes, Proverbs, Aphorisms... Ji Funda Jo Hai  
Daily Fortunes Feed Subscribe - Daily Fortunes - motd.ambians.com
Daily fortunes for your site
Dec 17, 2017
Motd Home     Daily Fortunes     Best of Fortunes     Worst of Fortunes

Linux Cookie

Fortune: 931 - 940 of 1140 from Linux Cookie

Linux Cookie:  931 of 1140

"As I was walking among the fires of Hell, delighted with the enjoyments of
 Genius; which to Angels look like torment and insanity.  I collected some of
 their Proverbs..." - Blake, "The Marriage of Heaven and Hell"

 
Linux Cookie:  932 of 1140

                        HOW TO PROVE IT, PART 1

proof by example:
        The author gives only the case n = 2 and suggests that it
        contains most of the ideas of the general proof.

proof by intimidation:
        'Trivial'.

proof by vigorous handwaving:
        Works well in a classroom or seminar setting.
 
Linux Cookie:  933 of 1140

                        HOW TO PROVE IT, PART 2

proof by cumbersome notation:
        Best done with access to at least four alphabets and special
        symbols.

proof by exhaustion:
        An issue or two of a journal devoted to your proof is useful.

proof by omission:
        'The reader may easily supply the details'
        'The other 253 cases are analogous'
        '...'

 
Linux Cookie:  934 of 1140

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

 
Linux Cookie:  935 of 1140

                        HOW TO PROVE IT, PART 4

proof by personal communication:
        'Eight-dimensional colored cycle stripping is NP-complete
        [Karp, personal communication].'

proof by reduction to the wrong problem:
        'To see that infinite-dimensional colored cycle stripping is
        decidable, we reduce it to the halting problem.'

proof by reference to inaccessible literature:
        The author cites a simple corollary of a theorem to be found
        in a privately circulated memoir of the Slovenian
        Philological Society, 1883.

proof by importance:
        A large body of useful consequences all follow from the
        proposition in question.
 
Linux Cookie:  936 of 1140

                        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.
 
Linux Cookie:  937 of 1140

                        HOW TO PROVE IT, PART 6

proof by picture:
        A more convincing form of proof by example. Combines well
        with proof by omission.

proof by vehement assertion:
        It is useful to have some kind of authority relation to the
        audience.

proof by ghost reference:
        Nothing even remotely resembling the cited theorem appears in
        the reference given.

 
Linux Cookie:  938 of 1140

                        HOW TO PROVE IT, PART 7
proof by forward reference:
        Reference is usually to a forthcoming paper of the author,
        which is often not as forthcoming as at first.

proof by semantic shift:
        Some of the standard but inconvenient definitions are changed
        for the statement of the result.

proof by appeal to intuition:
        Cloud-shaped drawings frequently help here.
 
Linux Cookie:  939 of 1140

        [May one] doubt whether, in cheese and timber, worms are generated,
        or, if beetles and wasps, in cow-dung, or if butterflies, locusts,
        shellfish, snails, eels, and such life be procreated of putrefied
        matter, which is to receive the form of that creature to which it
        is by formative power disposed[?]  To question this is to question
        reason, sense, and experience.  If he doubts this, let him go to
        Egypt, and there he will find the fields swarming with mice begot
        of the mud of the Nylus, to the great calamity of the inhabitants.
                A seventeenth century opinion quoted by L. L. Woodruff,
                in *The Evolution of Earth and Man*, 1929
 
Linux Cookie:  940 of 1140

Seen on a button at an SF Convention:
Veteran of the Bermuda Triangle Expeditionary Force.  1990-1951.
--
-- uunet!sugar!karl  | "We've been following your progress with considerable
-- karl@sugar.uu.net |  interest, not to say contempt."  -- Zaphod Beeblebrox IV
-- Usenet BBS (713) 438-5018


From karl@sugar.hackercorp.com Sat Apr 29 10:46:20 1989
From: karl@sugar.hackercorp.com (Karl Lehenbauer)
Subject: Fortune cookie file, part 07 of 06

Below is the latest addition to my fortune cookie file, 40212 bytes of mirth
and merriment.

This file contains a lot of quotes from peoples' postings on Usenet.  After I
had been doing this a while, I began including their net addresses as well.

Enjoy, or hit 'n'...

-------------------- cut it here, dude ------------------------------
« Prev Random Linux Cookie   Next »
« Prev  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77  78  79  80  81  82  83  84  85  86  87  88  89  90  91  92  93  94  95  96  97  98  99  100  101  102  103  104  105  106  107  108  109  110  111  112  113  114  Next »
Search [help]

About  |  Contact Us  |  Terms of Use  |  Privacy & Disclosure
FreeBsd Quotes  |  Linux Quotes