Liste des Groupes | Revenir à c theory |
Am Thu, 12 Jun 2025 11:44:21 -0500 schrieb olcott:On 6/12/2025 11:22 AM, joes wrote:Please clarify. Does "DDD" refer to two different programs?Am Thu, 12 Jun 2025 10:46:48 -0500 schrieb olcott:>On 6/12/2025 3:50 AM, joes wrote:Am Wed, 11 Jun 2025 19:20:30 -0500 schrieb olcott:>On 6/11/2025 7:03 PM, wij wrote:>On Wed, 2025-06-11 at 18:45 -0500, olcott wrote:On 6/11/2025 6:25 PM, wij wrote:On Wed, 2025-06-11 at 17:33 -0500, olcott wrote:On 6/11/2025 4:57 PM, wij wrote:On Wed, 2025-06-11 at 16:44 -0500, olcott wrote:On 6/11/2025 4:23 PM, wij wrote:On Wed, 2025-06-11 at 16:10 -0500, olcott wrote:On 6/11/2025 3:59 PM, wij wrote:On Wed, 2025-06-11 at 15:30 -0500, olcott wrote:On 6/11/2025 2:45 PM, wij wrote:On Wed, 2025-06-11 at 14:39 -0500, olcott wrote:On 6/11/2025 2:31 PM, wij wrote:On Wed, 2025-06-11 at 14:14 -0500, olcott wrote:On 6/11/2025 1:25 PM, wij wrote:On Wed, 2025-06-11 at 12:59 -0500, olcott wrote:>possibly reach its contradictory part.
DDD does reach that part; HHH doesn't. When HHH simulates DDD, DDD is
not running (on the processor), it is passive data executed by HHH.
>>input actually specifies.
What do you mean by "actually specifies"?
>>There cannot possibly exist any D mine or anyone else's that
is encoded to do the opposite of whatever value that H
returns.
What does your DDD do? Do as HHH says?
>
>No D that anyone in the universe can define can simultaneously be>
the caller of a function and the input to the same function.
If you think that it can then provide such a D.
Oh, how you are wrong. It is an elementary part of CS that data can
be interpreted as code and code has a data representation.
int main()
{
DDD(); // calls HHH(DDD) its parameter is not its caller
}I mean... yes, it is?>
No you are wrong.
DDD correctly simulated by HHH cannot possibly reach its own simulated
"return" statement final halt state.
DDD doesn't reach anything, HHH does (or doesn't). By nature no simulatorI am going to have to give up on you. You keep saying
can simulate itself.
Les messages affichés proviennent d'usenet.