Sujet : Re: Is this ℙ≠ℕℙ proof 'humiliating'?
De : anw (at) *nospam* cuboid.co.uk (Andy Walker)
Groupes : comp.theoryDate : 09. Jun 2024, 23:57:57
Autres entêtes
Organisation : Not very much
Message-ID : <v45c1l$3d2ov$2@dont-email.me>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 09/06/2024 22:58, wij wrote:
[To Ben:]
Do you still insist 0.999...∉[0,1)? LOL.
Before anyone "insists" on either that or its contrary, you need
to explain your notation. If you are talking about conventional "Real"
numbers, then the proof is straightforward and known to everyone with a
decent education in mathematics. If you're talking about some different
"Wij-numbers", then no-one here can tell you what their properties are
until you define them properly, and your various attempts to do that over
the years have been long on assertions and short on axioms and proofs.
Adding "LOL" to everything you think you understand better than Ben is
unhelpful. For my part, I can only repeat earlier suggestions that you
read up about "Surreal" and "Hyperreal" numbers [Wiki is your friend];
they solve many of the problems you seem to have with "Real" numbers.
This time, suggesting you are very
knowledgeable that "Determine n is even" not NPC needs proof...LOL again.
Again, before you disrespect Ben, perhaps you should think about
what he said to you. Generations of undergraduates have been asked what
they could deduce about NPC *if* P == NP. In the light of that, your
assumption that your problem "p" is not NPC amounts to assuming P /= NP,
so it's not surprising [but is unhelpful] that P /= NP follows from it.
[Hint: Think about how you could reduce an instance of some "difficult"
decision problem to a (trivial) instance of "p".]
-- Andy Walker, Nottingham. Andy's music pages: www.cuboid.me.uk/andy/Music Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Lange