Re: The Law of the Excluded Middle again (long)

Angus Rodgers <twirlip@xxxxxxxxxxx> writes:
If this post seems odd, please think of it as being about a
"dog that didn't bark in the night", and the reason for it
will become clear.

A few weeks ago, in the thread "A quote (and question) about
intuitionism" (which I have temporarily let drop, with the
ball still in my court) I said I had intended to pick some
simple everyday example of a mathematical argument in which
the Law of the Excluded Middle is used.

Such a simple everyday argument has just presented itself.

A recent thread asked for a "slick" proof that x^y + y^x > 1
for all positive real numbers x and y; and a reference was
given to a proof of this by Wade Ramey in sci.math in 2003.


I don't know the law of the excluded middle, is that related
to the convention of the excluded ess?

Phil
(Yes, I'm being unnecessarily cheeky, I'll apologise now.
Sorry. Twice. Sorry.)
--
Dear aunt, let's set so double the killer delete select all.
-- Microsoft voice recognition live demonstration
.

Relevant Pages
Loading