Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Overcoming the proof of undecidability of the Halting Problem by
 a simple example in C
Date: Sun, 18 May 2025 12:09:57 +0100
Organization: Fix this later
Lines: 21
Message-ID: <100cf65$uvq0$2@dont-email.me>
References: <1005jsk$3akrk$1@dont-email.me>
 <bc6f0f045212bdfb7f7d883426873a09e37789ea@i2pn2.org>
 <1005u6v$3cpt2$1@dont-email.me> <1005v0p$3b07v$1@dont-email.me>
 <10063u0$3dmiv$1@dont-email.me> <1006on8$3l9t7$1@dont-email.me>
 <1007kgq$3qb7l$9@dont-email.me> <1007mp8$3r37u$1@dont-email.me>
 <1008jgl$j63$3@dont-email.me> <1008o88$1bg1$1@dont-email.me>
 <1008s18$5uqc$1@dont-email.me> <1008t5g$1bg1$2@dont-email.me>
 <1008tr4$66kl$2@dont-email.me> <100901g$1bg1$3@dont-email.me>
 <10090vl$6mor$2@dont-email.me>
 <ebcf53bd90e1d4e1698be64dea76e69461c75a25@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 18 May 2025 13:09:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="99c2e759ba7e03b4721635ed22ed06d2";
	logging-data="1015616"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18bnUD3Op87E0iWawBaAj1CIYo2LhY6uML3QNMGx2xXPA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:zGEV6TR+jUfmpG61ApewggtjfKk=
Content-Language: en-GB
In-Reply-To: <ebcf53bd90e1d4e1698be64dea76e69461c75a25@i2pn2.org>

On 17/05/2025 13:59, Richard Damon wrote:
> On 5/16/25 11:49 PM, olcott wrote:

<snip>

>> It is possible to create a C function that
>> simulates the source-code of other C functions.
>> The essential idea of this is a C interpreter.
> 
> WHich means you need to pass it the source code of the funciton.

I'm not entirely sure that he knows what source code is.

<snip>

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within