Path: ...!eternal-september.org!feeder3.eternal-september.org!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: Mon, 19 May 2025 11:08:35 +0100
Organization: Fix this later
Lines: 29
Message-ID: <100evv3$1ifcb$1@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>
 <100cf65$uvq0$2@dont-email.me> <100etal$1i09c$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 19 May 2025 12:08:37 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="be58ce700b7a791d98bdef6cb205f490";
	logging-data="1654155"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18/ySt80kmnNf/hB7ktApPg0Edqnwp9l1y6sFs3p7u8ig=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:emQEk43LBaq3OjXYX9+w5BZRc+o=
Content-Language: en-GB
In-Reply-To: <100etal$1i09c$1@dont-email.me>
Bytes: 2490

On 19/05/2025 10:23, Mikko wrote:
> On 2025-05-18 11:09:57 +0000, Richard Heathfield said:
> 
>> 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.
> 
> Should be easy eanough to find out. The first paragraph on
>     https://en.wikipedia.org/wiki/Source_code

I'm not entirely sure that he reads terribly well.

<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