Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met
Date: Sat, 29 Jun 2024 11:10:30 +0300
Organization: -
Lines: 38
Message-ID: <v5ofhm$3r7v4$1@dont-email.me>
References: <v45tec$4q15$1@dont-email.me> <v4sa0h$1dk9i$3@dont-email.me> <v4sci6$1ebce$1@dont-email.me> <v4sd35$1eb2f$5@dont-email.me> <v4u3jl$1se49$1@dont-email.me> <v4umvh$1vpm0$7@dont-email.me> <v50d8k$2e51s$1@dont-email.me> <v50dtp$2e5ij$1@dont-email.me> <v51f4t$2k8ar$1@dont-email.me> <v51ge4$2kbbe$2@dont-email.me> <v539bk$329sv$1@dont-email.me> <v53upb$35vak$6@dont-email.me> <v575pl$3sg5p$1@dont-email.me> <v5767s$3soh6$1@dont-email.me> <v5e28t$11urb$5@i2pn2.org> <v5eg03$1ikpr$2@dont-email.me> <v5eho7$24l4$1@news.muc.de> <87jzidm83f.fsf@bsb.me.uk> <v5el8c$24l4$4@news.muc.de> <v5evoi$1lgoi$1@dont-email.me> <v5frvn$14bcm$6@i2pn2.org> <v5ft1p$1uc3o$2@dont-email.me> <v5fu24$14bcn$2@i2pn2.org> <v5fuf7$1up2o$1@dont-email.me> <v5gk7m$22b20$1@dont-email.me> <v5h3aj$24jbd$5@dont-email.me> <v5j4p0$2ksq3$1@dont-email.me> <v5jrrq$2o58l$4@dont-email.me> <v5k0ru$2q29e$1@dont-email.me> <v5k5ko$2qsdr$1@dont-email.me> <v5lsba$38t1k$1@dont-email.me> <v5mb0p$3b1p0$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 29 Jun 2024 10:10:31 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ef6da5e05d63bfb2c13ebab8d1b7b889";
	logging-data="4038628"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19v7MR03UvgdGm7hesOFuzf"
User-Agent: Unison/2.2
Cancel-Lock: sha1:CpxNCbzm7ZTqdJTnE7SqGC7AdaM=
Bytes: 3200

On 2024-06-28 12:40:57 +0000, olcott said:

> On 6/28/2024 3:30 AM, Mikko wrote:
>> On 2024-06-27 16:56:56 +0000, olcott said:
>> 
>>> On 6/27/2024 10:35 AM, Mikko wrote:
>>>> On 2024-06-27 14:10:02 +0000, olcott said:
>>>>> 
>>>>> In computability theory and computational complexity theory, a
>>>>> decision problem is a computational problem that can be posed as
>>>>> a yes–no question of the input values.
>>>>> https://en.wikipedia.org/wiki/Decision_problem
>>>> 
>>>> That's right. But that question cannot be presented to the decider.
>>>> Only the input values can.
>>>> 
>>> In other words you are saying that Turing machines do not
>>> typically understand English.
>> 
>> I didn't mean it that generally, only about deciders, but yes, typical
>> Turing machines do not understand any English. More specifically, the
>> specification of a halt decider (or any typical decider) prevents it
>> from being asked in any language.
>> 
> 
> // The question: Is x > y ?
> bool GreaterThan(int x, int y) { return (x > y); }
> 
> Deciders are always asked a yes/no question of their
> inputs in their own native language.

A call of GreaterThan must give two integers as arguments. There
is no place where a question could be put. An integer is not a
question.

-- 
Mikko