[plug] No meeting tonight?

[skribe]

On Tue,  8 Jan 2002 19:22, Mike Holland wrote:
> just checking,
> according to the website there is no 2nd Tues meeting tonight.
> Correct?

Correct.  I don't think we've ever had a meeting in the first half of Jan.

skribe
-- 
Public key information available at:
http://www.amber.com.au/~skribe/publickey.html
Key fingerprint = A855 9CA3 953B 5195 C518  12F2 0E05 DCCD 5A88 E8A4 

			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.