On Tue, Aug 19, 2003 at 01:26:23PM +0800, Pablo Manalastas wrote:
> Quoting Federico Sevilla III <[EMAIL PROTECTED]>:
>
> > No. I said 15+ years is more than half my lifetime,
> > not my lifetime is half 15+ years.
> >
> > Let x be my lifetime. 15+ years > x/2. Which is true
> > since x = 21, and 21/2 is 7.5, which is clearly less
> > ^^^^^^^^^^^
> > than 15+.
>
> Ahem, ahem, ahem. I used to be a Math teacher, and when
> I was younger, I would not let this go. But Jijo is a
> programmer, so I'll just let him correct his bug.
Ack. You're absolutely right, Doc Mana, that -WAS- awful. So being the
inexperienced programmer that I am, I will rewrite the whole thing at
first sight of bug:
Let x be my lifetime in years, and n be the number of years of
Michael's database development experience.
"That's more than half my lifetime" can be rewritten as
n > x / 2
We assert by virtue of my birth certificate and the date today that
x = 21
and therefore
n > 10
where the division made was integer division. This inequality is
true since we can rewrite Michael's claim of having "15+ years" of
experience as
n >= 15
and any n will clearly be greater than half my lifetime, since at
n's minimum,
15 > 10
is true, and any n greater than the minimum will continue to be
greater than 10.
--> Jijo
--
Federico Sevilla III : http://jijo.free.net.ph : When we speak of free
Network Administrator : The Leather Collection, Inc. : software we refer to
GnuPG Key ID : 0x93B746BE : freedom, not price.
--
Philippine Linux Users' Group (PLUG) Mailing List
[EMAIL PROTECTED] (#PLUG @ irc.free.net.ph)
Official Website: http://plug.linux.org.ph
Searchable Archives: http://marc.free.net.ph
.
To leave, go to http://lists.q-linux.com/mailman/listinfo/plug
.
Are you a Linux newbie? To join the newbie list, go to
http://lists.q-linux.com/mailman/listinfo/ph-linux-newbie
