Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

The world is no nursery. -- Sigmund Freud


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)

<0e8bb111-b802-477d-bce1-6ad83ec93a19n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a37:65c3:: with SMTP id z186mr7940670qkb.481.1624724038372;
Sat, 26 Jun 2021 09:13:58 -0700 (PDT)
X-Received: by 2002:a25:324d:: with SMTP id y74mr4430014yby.198.1624724038226;
Sat, 26 Jun 2021 09:13:58 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!news.uzoreto.com!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!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:13:58 -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: <0e8bb111-b802-477d-bce1-6ad83ec93a19n@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:13:58 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1151
 by: Daniel Pehoushek - Sat, 26 Jun 2021 16:13 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