Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

If it's worth hacking on well, it's worth hacking on for money.


devel / comp.theory / Re: Refuting the halting problem pseudo-code proof(100% perfect certainty)

SubjectAuthor
o Refuting the halting problem pseudo-code proof(100% perfect certainty)Daniel Pehoushek

1
Re: Refuting the halting problem pseudo-code proof(100% perfect certainty)

<016a6bf9-1063-4372-aba7-1dcb2849433dn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:622a:149:: with SMTP id v9mr14660940qtw.144.1624723979743;
Sat, 26 Jun 2021 09:12:59 -0700 (PDT)
X-Received: by 2002:a5b:3c3:: with SMTP id t3mr20796112ybp.295.1624723979627;
Sat, 26 Jun 2021 09:12:59 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 26 Jun 2021 09:12:59 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:2467:1c50:45e0:de8d;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:2467:1c50:45e0:de8d
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <016a6bf9-1063-4372-aba7-1dcb2849433dn@googlegroups.com>
Subject: Re: Refuting the halting problem pseudo-code proof(100% perfect certainty)
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Sat, 26 Jun 2021 16:12:59 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Daniel Pehoushek - Sat, 26 Jun 2021 16:12 UTC

strong color theorem: most regular graphs of degree d squared are d + one colorable.


devel / comp.theory / Re: Refuting the halting problem pseudo-code proof(100% perfect certainty)

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor