Article <DO2dnck8JrFdGcv7nZ2dnZfqn_WdnZ2d@brightview.co.uk>

Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <DO2dnck8JrFdGcv7nZ2dnZfqn_WdnZ2d@brightview.co.uk>

Deutsch English Français Italiano

<DO2dnck8JrFdGcv7nZ2dnZfqn_WdnZ2d@brightview.co.uk>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!nntp.brightview.co.uk!news.brightview.co.uk.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 29 May 2024 01:28:31 +0000
Subject: Re: Another Halting Problem Question (very difficult)
Newsgroups: comp.theory
References: <e59d06e61850db2c77d1a784abce13dc84067079.camel@gmail.com>
 <19b48c13e1abe0c0c68ece8114535d43a771cd3c.camel@gmail.com>
 <47d52c4babb83d32286f6bf597b415151d3e4fda.camel@gmail.com>
 <1f231ededa977e799945496518d7aa8e2f7efc4a.camel@gmail.com>
From: Mike Terry <news.dead.person.stones@darjeeling.plus.com>
Date: Wed, 29 May 2024 02:28:31 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.17
MIME-Version: 1.0
In-Reply-To: <1f231ededa977e799945496518d7aa8e2f7efc4a.camel@gmail.com>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <DO2dnck8JrFdGcv7nZ2dnZfqn_WdnZ2d@brightview.co.uk>
Lines: 20
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-8Szz3aZh9p6TdP41AY9DNHJNZ40N2GMKJHofl/gtfB3tWbPiBaJ3YDUw2IUELFYHZDhqzr4/sAx9jc7!bBZpxi33u9RpWFDntFla9PqLlBRBaFIW+hKtm1yCP/TYPc7SEARyf5ss5RNKxhB8qNJWnKLbPOIZ!dmuAuqbCL3C15br9tF0+AIMfE50p
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 2124

On 29/05/2024 01:31, wij wrote:
[..snip..]
> 
> Revision:
> Does there exist a decision function sat that determines whether or not a
> terminating function bool f() (given as the argument of sat) returns true or
> not? IOW, sat(f)==true iff f()==true.
> 
Yes.  A UTM meets your requirement, given that the input domain is limited to terminating functions 
f().

> Is Rice's theorem (or GUR if you like) refuted?
> 
No.  You may be thinking that identifying functions that return true is identifying a "semantic 
property of functions" as required for Rice.  But your requirement above is restricted to a domain 
containing only halting programs, so does not match Rice's theorem requirements.


Mike.