Liste des Groupes | Revenir à c theory |
On 3/30/2024 2:09 AM, Mikko wrote:I did. I asked whether whether you really mean all that "never iselfOn 2024-03-29 14:26:50 +0000, olcott said:So you didn't understand the: *must abort this simulation* part ?
On 3/29/2024 6:10 AM, Mikko wrote:Are you sure you want to allow that H(D,D) may run un a loop and neverOn 2024-03-28 15:38:08 +0000, olcott said:*THIS SPECIFICATION*
On 3/28/2024 9:44 AM, Mikko wrote:Does not answer what "this specification" means above.On 2024-03-27 14:04:17 +0000, olcott said:Every implementation of H(D,D) that simulates its input must abort
On 3/27/2024 4:32 AM, Mikko wrote:What "this pecification"? This means the one you refer or point toOn 2024-03-26 14:41:08 +0000, olcott said:This specification only requires a mapping from H(D,D)
On 3/26/2024 3:50 AM, Mikko wrote:There is enough information to determine whether the result is asOn 2024-03-25 22:52:18 +0000, olcott said:There is enough information for sum(3,4) to compute the sum of 3+4.
On 3/24/2024 9:27 AM, Mikko wrote:Your and my beliefs don't matter. Testers call the function withOn 2024-03-24 02:11:34 +0000, olcott said:int sum(int x, int y){ return x + y; }
On 3/23/2024 7:31 PM, Richard Damon wrote:If no such basis is in the input the problem has no soution.On 3/23/24 7:29 PM, olcott wrote:In order to compute the mapping from an input there must beOn 3/23/2024 5:58 PM, immibis wrote:Nope.On 23/03/24 16:02, olcott wrote:That would entail that H must report on different behavior(b) H(D,D) that DOES abort its simulation is correctTo be a decider it has to give an answer.
(ABOUT THIS ABORT DECISION)
because it would halt and all deciders must always halt.
To be a halt decider it has to give an answer that is the same as whether the direct execution of its input would halt.
than the behavior that H actually sees thus violate the
definition of a decider that must compute the mapping from
its inputs...
You are just showing yourself to be a stupid liar.
Where in the DEFINITION of Compute the Mapping of the Input to the Mapped Output does it say that the decider has to be able to "see" that property of the input?
some basis that is directly provided by this input.
sum(3,4) is not allowed to report on the sum of 5 + 6
even if you really really believe that it should.
various pairs of inputs and compare the result to the specification.
If the result is not what the specification requires then the function
is wrong and needs be fixed or rejected.
There is NOT enough information for sum(3,4) to compute the sum of 5+6.
There is enough information for H1(D,D) to compute Halts(D,D).
There is NOT enough information for H(D,D) to compute Halts(D,D).
required by the specification.
to Halts(Simulated_by_H(D,D)) and it gets that one correctly.
D(D) does not halt from the POV of H.
but you didn't.
this simulation or never itself halt.
int main() { D(D); } is not a D simulated by H.
int main() { H(D,D); } is a D simulated by H.
Every implementation of H(D,D) that simulates its input must abort
this simulation or never itself halt.
halt and never continue the simulation?
Les messages affichés proviennent d'usenet.