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 ------------------------------
|
|
|
Linux Cookie: 941 of 1140 |
"If people are good only because they fear punishment, and hope for reward,
then we are a sorry lot indeed."
-- Albert Einstein
|
|
|
Linux Cookie: 942 of 1140 |
"What is wanted is not the will to believe, but the will to find out, which is
the exact opposite."
-- Bertrand Russell, _Sceptical_Essays_, 1928
|
|
|
Linux Cookie: 943 of 1140 |
"Were there no women, men might live like gods."
-- Thomas Dekker
|
|
|
Linux Cookie: 944 of 1140 |
"Intelligence without character is a dangerous thing."
-- G. Steinem
|
|
|
Linux Cookie: 945 of 1140 |
"It says he made us all to be just like him. So if we're dumb, then god is
dumb, and maybe even a little ugly on the side."
-- Frank Zappa
|
|