Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

We have phasers, I vote we blast 'em! -- Bailey, "The Corbomite Maneuver", stardate 1514.2


devel / comp.theory / Proof that H(D,D) doesn't meet its specification

SubjectAuthor
o Proof that H(D,D) doesn't meet its specificationimmibis

1
Proof that H(D,D) doesn't meet its specification

<ut79f8$3knkh$2@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=56279&group=comp.theory#56279

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: news@immibis.com (immibis)
Newsgroups: comp.theory
Subject: Proof that H(D,D) doesn't meet its specification
Date: Sun, 17 Mar 2024 18:32:25 +0100
Organization: A noiseless patient Spider
Lines: 4
Message-ID: <ut79f8$3knkh$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 17 Mar 2024 17:32:25 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="74562a068c4159912a3d5c742a9913c5";
logging-data="3825297"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18nN4UKoXCeMJU+54weyYY0"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:LQYTtDBrJxTGKgeMLLhgbal3O3M=
Content-Language: en-US
 by: immibis - Sun, 17 Mar 2024 17:32 UTC

D(D) halts
H(D,D)==0

therefore H is not a halt decider

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor