Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #106833
| From | Andy Walker <anw@cuboid.co.uk> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Is this ℙ≠ℕℙ proof 'humiliating'? |
| Date | 2024-06-09 23:57 +0100 |
| Organization | Not very much |
| Message-ID | <v45c1l$3d2ov$2@dont-email.me> (permalink) |
| References | <e243777ead89baebc46eac4944e43adde8a9ddce.camel@gmail.com> <875xuh51rv.fsf@bsb.me.uk> <0ae353a37b1dcf2926997ff00f7770999ee28b79.camel@gmail.com> |
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
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Is this ℙ≠ℕℙ proof 'humiliating'? wij <wyniijj5@gmail.com> - 2024-06-08 22:11 +0800
Re: Is this ℙ≠ℕℙ proof 'humiliating'? wij <wyniijj5@gmail.com> - 2024-06-08 22:17 +0800
Re: Is this ℙ≠ℕℙ proof 'humiliating'? Ben Bacarisse <ben@bsb.me.uk> - 2024-06-09 20:55 +0100
Re: Is this ℙ≠ℕℙ proof 'humiliating'? wij <wyniijj5@gmail.com> - 2024-06-10 05:58 +0800
Re: Is this ℙ≠ℕℙ proof 'humiliating'? Andy Walker <anw@cuboid.co.uk> - 2024-06-09 23:57 +0100
Re: Is this ℙ≠ℕℙ proof 'humiliating'? wij <wyniijj5@gmail.com> - 2024-06-10 08:06 +0800
Re: Is this ℙ≠ℕℙ proof 'humiliating'? Andy Walker <anw@cuboid.co.uk> - 2024-06-10 14:54 +0100
Re: Is this ℙ≠ℕℙ proof 'humiliating'? wij <wyniijj5@gmail.com> - 2024-06-10 22:33 +0800
Re: Is this ℙ≠ℕℙ proof 'humiliating'? Ben Bacarisse <ben@bsb.me.uk> - 2024-06-10 00:36 +0100
Re: Is this ℙ≠ℕℙ proof 'humiliating'? wij <wyniijj5@gmail.com> - 2024-06-10 08:12 +0800
Re: Is this ℙ≠ℕℙ proof 'humiliating'? Ben Bacarisse <ben@bsb.me.uk> - 2024-06-10 21:50 +0100
Re: Is this ℙ≠ℕℙ proof 'humiliating'? wij <wyniijj5@gmail.com> - 2024-06-11 12:37 +0800
Re: Is this ℙ≠ℕℙ proof 'humiliating'? Jeff Barnett <jbb@notatt.com> - 2024-06-11 00:32 -0600
Re: Is this ℙ≠ℕℙ proof 'humiliating'? wij <wyniijj5@gmail.com> - 2024-06-11 16:01 +0800
Re: Is this ℙ≠ℕℙ proof 'humiliating'? Ben Bacarisse <ben@bsb.me.uk> - 2024-06-11 11:43 +0100
Re: Is this ℙ≠ℕℙ proof 'humiliating'? wij <wyniijj5@gmail.com> - 2024-06-10 22:26 +0800
Re: Is this ℙ≠ℕℙ proof 'humiliating'? Ben Bacarisse <ben@bsb.me.uk> - 2024-06-10 21:45 +0100
csiph-web