Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"I prefer the blunted cudgels of the followers of the Serpent God." -- Sean Doran the Younger

devel / comp.theory / Re: Announcement Regarding a Tenative Solution to the $100 Stephen A. Cook Problem

SubjectAuthor
* Announcement Regarding a Tenative Solution to the $100 Stephen A.B.H.
+- Announcement Regarding a Tenative Solution to the $100 Stephen A.wij
`* Announcement Regarding a Tenative Solution to the $100 Stephen A.B.H.
 `- Announcement Regarding a Tenative Solution to the $100 Stephen A.B.H.

1
Announcement Regarding a Tenative Solution to the $100 Stephen A. Cook Problem

<a0c39ee6-9703-4a01-b415-fdf32cbd302cn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=24660&group=comp.theory#24660

  copy link   Newsgroups: comp.theory
X-Received: by 2002:ac8:5f47:: with SMTP id y7mr4881524qta.342.1639790416337;
Fri, 17 Dec 2021 17:20:16 -0800 (PST)
X-Received: by 2002:a25:694d:: with SMTP id e74mr8194712ybc.15.1639790415999;
Fri, 17 Dec 2021 17:20:15 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 17 Dec 2021 17:20:15 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=96.253.108.61; posting-account=X_pe-goAAACrVTtZeoCLt7hslVPY2-Uo
NNTP-Posting-Host: 96.253.108.61
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a0c39ee6-9703-4a01-b415-fdf32cbd302cn@googlegroups.com>
Subject: Announcement Regarding a Tenative Solution to the $100 Stephen A.
Cook Problem
From: xlt....@gmail.com (B.H.)
Injection-Date: Sat, 18 Dec 2021 01:20:16 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 30
 by: B.H. - Sat, 18 Dec 2021 01:20 UTC

Hi everyone,

Years ago, before he had retired, computer science Professor Stephen Cook posted an unsolved problem on his website:

https://www.cs.toronto.edu/~sacook/

I believe I finished resolving that problem tonight, but I haven't had a chance to really check my work. I feel like announcing my work now, so I'm doing so. After my result, which shows that the described program-construction task is provably impossible to perform, has been fully checked and confirmed or deemed irrevocably unsalveagable (at least in the short term), I will contact the (four?) un-retired authors of the problem via email to present my result. This ought to be by tomorrow. (If it's wrong I'll retract it tomorrow.)

I am not going to seek the $100 prize, but I will be seeking confirmation of the result, so that I can add it to my CS resume. Again, although I'm fairly sure I got it right, it was basically a, "OK I solved it I'm going to stop thinking about it moment" this evening, so I really haven't even reviewed it for accuracy even once. As I said, I should know for sure by tomorrow evening at the latest.

Please wish me luck as I continue my career-advancement efforts!

-Philip White (philipjwhite@yahoo.com)

P. S. I actually did just look over the problem again briefly once after reading this post to make sure it looked right and it did look right; I'll check it more thoroughly tomorrow.

Re: Announcement Regarding a Tenative Solution to the $100 Stephen A. Cook Problem

<a4ff249e-ba19-4bea-be12-b77d57dd1ed0n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=24662&group=comp.theory#24662

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:6214:29c8:: with SMTP id gh8mr3831281qvb.78.1639791938449;
Fri, 17 Dec 2021 17:45:38 -0800 (PST)
X-Received: by 2002:a25:2a89:: with SMTP id q131mr8772495ybq.436.1639791938248;
Fri, 17 Dec 2021 17:45:38 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 17 Dec 2021 17:45:38 -0800 (PST)
In-Reply-To: <a0c39ee6-9703-4a01-b415-fdf32cbd302cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=58.115.187.102; posting-account=QJ9iEwoAAACyjkKjQAWQOwSEULNvZZkc
NNTP-Posting-Host: 58.115.187.102
References: <a0c39ee6-9703-4a01-b415-fdf32cbd302cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a4ff249e-ba19-4bea-be12-b77d57dd1ed0n@googlegroups.com>
Subject: Re: Announcement Regarding a Tenative Solution to the $100 Stephen A.
Cook Problem
From: wyni...@gmail.com (wij)
Injection-Date: Sat, 18 Dec 2021 01:45:38 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 34
 by: wij - Sat, 18 Dec 2021 01:45 UTC

On Saturday, 18 December 2021 at 09:20:17 UTC+8, B.H. wrote:
> Hi everyone,
>
> Years ago, before he had retired, computer science Professor Stephen Cook posted an unsolved problem on his website:
>
> https://www.cs.toronto.edu/~sacook/
>
> I believe I finished resolving that problem tonight, but I haven't had a chance to really check my work. I feel like announcing my work now, so I'm doing so. After my result, which shows that the described program-construction task is provably impossible to perform, has been fully checked and confirmed or deemed irrevocably unsalveagable (at least in the short term), I will contact the (four?) un-retired authors of the problem via email to present my result. This ought to be by tomorrow. (If it's wrong I'll retract it tomorrow.)
>
> I am not going to seek the $100 prize, but I will be seeking confirmation of the result, so that I can add it to my CS resume. Again, although I'm fairly sure I got it right, it was basically a, "OK I solved it I'm going to stop thinking about it moment" this evening, so I really haven't even reviewed it for accuracy even once. As I said, I should know for sure by tomorrow evening at the latest.
>
> Please wish me luck as I continue my career-advancement efforts!
>
> -Philip White (philip...@yahoo.com)
>
> P. S. I actually did just look over the problem again briefly once after reading this post to make sure it looked right and it did look right; I'll check it more thoroughly tomorrow.

Wish you luck.

(I do not know what is.)

Re: Announcement Regarding a Tenative Solution to the $100 Stephen A. Cook Problem

<2a72caca-75ce-40e7-b483-eb02f9d2e2b8n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=24693&group=comp.theory#24693

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:6214:2aa3:: with SMTP id js3mr2757979qvb.69.1639865042496;
Sat, 18 Dec 2021 14:04:02 -0800 (PST)
X-Received: by 2002:a25:ac83:: with SMTP id x3mr12579378ybi.469.1639865042248;
Sat, 18 Dec 2021 14:04:02 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 18 Dec 2021 14:04:02 -0800 (PST)
In-Reply-To: <a0c39ee6-9703-4a01-b415-fdf32cbd302cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=96.253.108.61; posting-account=X_pe-goAAACrVTtZeoCLt7hslVPY2-Uo
NNTP-Posting-Host: 96.253.108.61
References: <a0c39ee6-9703-4a01-b415-fdf32cbd302cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2a72caca-75ce-40e7-b483-eb02f9d2e2b8n@googlegroups.com>
Subject: Re: Announcement Regarding a Tenative Solution to the $100 Stephen A.
Cook Problem
From: xlt....@gmail.com (B.H.)
Injection-Date: Sat, 18 Dec 2021 22:04:02 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 37
 by: B.H. - Sat, 18 Dec 2021 22:04 UTC

On Friday, December 17, 2021 at 8:20:17 PM UTC-5, B.H. wrote:
> Hi everyone,
>
> Years ago, before he had retired, computer science Professor Stephen Cook posted an unsolved problem on his website:
>
> https://www.cs.toronto.edu/~sacook/
>
> I believe I finished resolving that problem tonight, but I haven't had a chance to really check my work. I feel like announcing my work now, so I'm doing so. After my result, which shows that the described program-construction task is provably impossible to perform, has been fully checked and confirmed or deemed irrevocably unsalveagable (at least in the short term), I will contact the (four?) un-retired authors of the problem via email to present my result. This ought to be by tomorrow. (If it's wrong I'll retract it tomorrow.)
>
> I am not going to seek the $100 prize, but I will be seeking confirmation of the result, so that I can add it to my CS resume. Again, although I'm fairly sure I got it right, it was basically a, "OK I solved it I'm going to stop thinking about it moment" this evening, so I really haven't even reviewed it for accuracy even once. As I said, I should know for sure by tomorrow evening at the latest.
>
> Please wish me luck as I continue my career-advancement efforts!
>
> -Philip White (philip...@yahoo.com)
>
> P. S. I actually did just look over the problem again briefly once after reading this post to make sure it looked right and it did look right; I'll check it more thoroughly tomorrow.

Update: The proof looks good, but the finished write-up will probably not be fully checked until tomorrow or maybe Monday. I'll post an update when I've sent the email.

-Philip

Re: Announcement Regarding a Tenative Solution to the $100 Stephen A. Cook Problem

<5020ac45-0f00-4db7-be56-516f1864fda7n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=24773&group=comp.theory#24773

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:6214:20ad:: with SMTP id 13mr10873506qvd.4.1639956894523;
Sun, 19 Dec 2021 15:34:54 -0800 (PST)
X-Received: by 2002:a25:7209:: with SMTP id n9mr19551479ybc.692.1639956894282;
Sun, 19 Dec 2021 15:34:54 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sun, 19 Dec 2021 15:34:54 -0800 (PST)
In-Reply-To: <2a72caca-75ce-40e7-b483-eb02f9d2e2b8n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=96.253.108.61; posting-account=X_pe-goAAACrVTtZeoCLt7hslVPY2-Uo
NNTP-Posting-Host: 96.253.108.61
References: <a0c39ee6-9703-4a01-b415-fdf32cbd302cn@googlegroups.com> <2a72caca-75ce-40e7-b483-eb02f9d2e2b8n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5020ac45-0f00-4db7-be56-516f1864fda7n@googlegroups.com>
Subject: Re: Announcement Regarding a Tenative Solution to the $100 Stephen A.
Cook Problem
From: xlt....@gmail.com (B.H.)
Injection-Date: Sun, 19 Dec 2021 23:34:54 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 49
 by: B.H. - Sun, 19 Dec 2021 23:34 UTC

On Saturday, December 18, 2021 at 5:04:03 PM UTC-5, B.H. wrote:
> On Friday, December 17, 2021 at 8:20:17 PM UTC-5, B.H. wrote:
> > Hi everyone,
> >
> > Years ago, before he had retired, computer science Professor Stephen Cook posted an unsolved problem on his website:
> >
> > https://www.cs.toronto.edu/~sacook/
> >
> > I believe I finished resolving that problem tonight, but I haven't had a chance to really check my work. I feel like announcing my work now, so I'm doing so. After my result, which shows that the described program-construction task is provably impossible to perform, has been fully checked and confirmed or deemed irrevocably unsalveagable (at least in the short term), I will contact the (four?) un-retired authors of the problem via email to present my result. This ought to be by tomorrow. (If it's wrong I'll retract it tomorrow.)
> >
> > I am not going to seek the $100 prize, but I will be seeking confirmation of the result, so that I can add it to my CS resume. Again, although I'm fairly sure I got it right, it was basically a, "OK I solved it I'm going to stop thinking about it moment" this evening, so I really haven't even reviewed it for accuracy even once. As I said, I should know for sure by tomorrow evening at the latest.
> >
> > Please wish me luck as I continue my career-advancement efforts!
> >
> > -Philip White (philip...@yahoo.com)
> >
> > P. S. I actually did just look over the problem again briefly once after reading this post to make sure it looked right and it did look right; I'll check it more thoroughly tomorrow.
> Update: The proof looks good, but the finished write-up will probably not be fully checked until tomorrow or maybe Monday. I'll post an update when I've sent the email.
>
> -Philip

Another Update:

I have sent an email containing the solution to 3 of the 5 listed CS people; 3 of them are still professors apparently.

I will hope to hear back regarding an evaluation of my proof within 2-3 weeks. I might post my solution to this problem on the internet at some point; the proof isn't extremely valuable or sensitive, and thus very likely doesn't need to be kept a secret.

-Philip

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor