Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.theory > #106833

Re: Is this ℙ≠ℕℙ proof 'humiliating'?

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>

Show all headers | View raw


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 | NextPrevious in thread | Next in thread | Find similar | Unroll thread


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