Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

It's time to boot, do your boot ROMs know where your disk controllers are?


tech / sci.math / SOLVING THE HALTING PROBLEM

SubjectAuthor
o SOLVING THE HALTING PROBLEMGraham Cooper

1
SOLVING THE HALTING PROBLEM

<ca751aa2-3d70-4822-8f05-43ec2d365581n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=127620&group=sci.math#127620

  copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:e546:0:b0:56e:a9fd:c313 with SMTP id n6-20020a0ce546000000b0056ea9fdc313mr443804qvm.66.1676692223079;
Fri, 17 Feb 2023 19:50:23 -0800 (PST)
X-Received: by 2002:a9d:2c08:0:b0:690:d6a6:48af with SMTP id
f8-20020a9d2c08000000b00690d6a648afmr379164otb.7.1676692222841; Fri, 17 Feb
2023 19:50:22 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.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: sci.math
Date: Fri, 17 Feb 2023 19:50:22 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:1160:1662:178:70b9:ec10:870;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:1160:1662:178:70b9:ec10:870
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ca751aa2-3d70-4822-8f05-43ec2d365581n@googlegroups.com>
Subject: SOLVING THE HALTING PROBLEM
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Sat, 18 Feb 2023 03:50:23 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1300
 by: Graham Cooper - Sat, 18 Feb 2023 03:50 UTC

function HALT( PROG, INP )
IF TOPSTACK > 1
THEN
-PRINT "halt out of scope"
-HALT="halts"
-BREAK
ELSE
..... halting code....

solves the halting problem.

USING KEYBOARD

>HALT(D D) [ENTER]
halts

>D(D) [ENTER]
halt out of scope

D(D) halts as HALT(D D) predicted

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor