Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 8 Dec 2001 16:32:20 -0600
From:      "Mike Meyer" <mwm@mired.org>
To:        "Anthony Atkielski" <anthony@freebie.atkielski.com>
Cc:        "Mike Meyer" <mwm@mired.org>, <chat@FreeBSD.ORG>
Subject:   Re: A breath of fresh air..
Message-ID:  <15378.38132.694338.893021@guru.mired.org>
In-Reply-To: <049f01c18037$db7ca460$0a00000a@atkielski.com>
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> <a05101007b837448d6ad8@[10.0.1.16]> <010601c17fab$1cd2b270$0a00000a@atkielski.com> <a0510100fb8375b52c121@[10.0.1.16]> <016f01c17fb4$b3c1fc00$0a00000a@atkielski.com> <a0510101eb8376b377aa1@[10.0.1.16]> <01e401c17fbe$0f0ae2d0$0a00000a@atkielski.com> <a0510102bb8377deadcaf@[10.0.1.16]> <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>

next in thread | previous in thread | raw e-mail | index | archive | help
Anthony Atkielski <anthony@freebie.atkielski.com> types:
> Mike writes:
> > No, because you don't know how the execptions
> > are going to behave in the proof.
> By definition, a generalization disregards exceptions.

Which is why "proofs" that use them are flawed.

	<mike
--
Mike Meyer <mwm@mired.org>			http://www.mired.org/home/mwm/
Independent WWW/Perforce/FreeBSD/Unix consultant, email for more information.

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-chat" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?15378.38132.694338.893021>