From owner-freebsd-chat Sat Dec 8 15: 3:11 2001 Delivered-To: freebsd-chat@freebsd.org Received: from hawk.prod.itd.earthlink.net (hawk.mail.pas.earthlink.net [207.217.120.22]) by hub.freebsd.org (Postfix) with ESMTP id 9190C37B416 for ; Sat, 8 Dec 2001 15:03:09 -0800 (PST) Received: from pool0303.cvx22-bradley.dialup.earthlink.net ([209.179.199.48] helo=mindspring.com) by hawk.prod.itd.earthlink.net with esmtp (Exim 3.33 #1) id 16CqUo-00076d-00; Sat, 08 Dec 2001 15:03:03 -0800 Message-ID: <3C129C2E.895D248A@mindspring.com> Date: Sat, 08 Dec 2001 15:03:10 -0800 From: Terry Lambert X-Mailer: Mozilla 4.7 [en]C-CCK-MCD {Sony} (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: Anthony Atkielski Cc: Mike Meyer , chat@FreeBSD.ORG Subject: Re: A breath of fresh air.. References: <0112071641320B.01380@stinky.akitanet.co.uk><000b01c17f42$c23ab140$0a0 0000a@atkielski.com><3C110351.4748B559@duth.gr><005001c17f6c$e60c0ef0$ 0a00000a@atkielski.com><15377.17350.796336.801464@guru.mired.org><006901c17f70$19a2f820$0a00000a@atkielski.com><3C11560B.A035DEF3@duth.gr><009401c17f9c$5bad3bf0$0a00000a@atkielski.com><010601c17fab$1cd2b270$0a00000a@atkielski.com><016f01c17fb4$b3c1fc00$0a00000a@atkielski.com><01e401c17fbe$0f0ae2d0$0a00000a@atkielski.com><025d01c17fcc$4c8783d0$0a00000a@atkielski.com><15378.34330.534792.537249@guru.mired.org><048101c1802f$f5ef6650$0a00000a@atkielski.com><15378.37704.631062.599125@guru.mired.org><049f01c18037$db7ca460$0a00000a@atkielski.com> <15378.38132.694338.893021@guru.mired.org> <04ae01c18038$6ae80900$0a00000a@atkielski.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org Anthony Atkielski wrote: > Mike writes: > > Which is why "proofs" that use them are flawed. > > Not if the proof is a generalization. In general, would that make them bald-ass statements instead of proofs? -- Terry To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message