Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.logic > #335075

Re: At least 100 people kept denying the easily verified fact

From Richard Damon <richard@damon-family.org>
Newsgroups comp.theory, sci.logic
Subject Re: At least 100 people kept denying the easily verified fact
Date 2024-06-04 22:45 -0400
Organization i2pn2 (i2pn.org)
Message-ID <v3ojg2$328eb$1@i2pn2.org> (permalink)
References <v3o2dj$jm9q$1@dont-email.me> <v3og6b$328ec$10@i2pn2.org> <v3ogh9$pi6u$1@dont-email.me> <v3oi5t$328ec$13@i2pn2.org> <v3oifv$psat$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 6/4/24 10:28 PM, olcott wrote:
> On 6/4/2024 9:22 PM, Richard Damon wrote:
>> On 6/4/24 9:54 PM, olcott wrote:
>>> On 6/4/2024 8:48 PM, Richard Damon wrote:
>>>> On 6/4/24 5:53 PM, olcott wrote:
>>>>> https://liarparadox.org/DD_correctly_simulated_by_HH_is_Proven.pdf
>>>>>
>>>>> At least 100 people kept denying the easily verified fact that the 
>>>>> above
>>>>> link conclusively proves that DD <is> correctly simulated by HH.
>>>>>
>>>>> It has been just like I smash a Boston cream pie in their face and 
>>>>> they
>>>>> persistently deny that there ever was any pie as this pie drips from
>>>>> their face.
>>>>>
>>>>>
>>>>
>>>> The problem iks you use the WRONG DEFINITION of "Simulated 
>>>> Correctly" to allow the simulation to say anything about the 
>>>> behavior of the machine being simulated.
>>>>
>>>
>>> *I conclusively proved otherwise in the above link*
>>
>> You CAN'T provd that a definition is wrong.
>>
> 
> *Try and provide a counter-example or implicitly admit that you cannot*
> *Try and provide a counter-example or implicitly admit that you cannot*
> *Try and provide a counter-example or implicitly admit that you cannot*

What are you asking for a counter example of?

I said definition are always correct and you can't prove one wrong.

There is no counter-example to that.

If you want a counter example to you claim of correct simulation, DD(DD) 
is the counter example. You claim that you can show a "Correct 
Simulation" of it proves non-halting behavior, when the actual behavior 
of that machine is Halting, so it CAN'T be non-halting.

> 
> The behavior that a machine description specifies to a UTM
> IS THE BEHAVIOR OF THIS FINITE STRING
> YOU ARE SIMPLY VERY CONFUSED
> 
> 

Right, and a UTM simulates the input to EXACTLY repoduce the behavior of 
the machine it describes.

So, HH(DD,DD), to be a Halt Decider must answer to if UTM(DD,DD) WHERE 
THAT DD IS STILL PAIRED TO HH, will halt, which means if DD(DD) will halt.

Since DD(DD) will halt, and thus UTM(DD,DD) will halt, if HH(DD,DD) 
returns 0, that answer can not be correct.

PERIOD.

BY DEFINITION, one you even just agreed to.

Perhaps your problem is you forget the defintion of a UTM, it isn't 
"just a simulator" but it is a machine that EXACTLY REPODUCES THE 
BEHAVIOR of the machine described by its input.

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-04 16:53 -0500
  Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-04 21:48 -0400
    Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-04 20:54 -0500
      Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-04 22:22 -0400
        Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-04 21:28 -0500
          Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-04 22:45 -0400
            Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-04 21:55 -0500
              Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-04 23:15 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-04 22:21 -0500
                Re: At least 100 people kept denying the easily verified fact Mikko <mikko.levanto@iki.fi> - 2024-06-05 09:54 +0300
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-05 07:31 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 07:30 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-05 19:32 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 20:01 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-05 21:07 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 20:18 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-05 21:27 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 20:31 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-05 22:25 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 21:43 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-05 23:05 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 22:11 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-05 23:41 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 22:44 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-05 23:58 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 23:04 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-06 00:06 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 23:14 -0500
                Re: At least 100 people kept denying the easily verified fact wij <wyniijj5@gmail.com> - 2024-06-06 12:30 +0800
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-06 07:11 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-06 08:06 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-06 22:08 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-06 21:56 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-06 22:04 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-06 23:29 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-06 22:53 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 11:14 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 10:22 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 11:32 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-06 23:29 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 08:09 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 11:14 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 10:29 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 11:46 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 10:56 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 12:25 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 11:46 -0500
                Re: Last communication with Richard Rich Yard Daemon <news3@immibis.com> - 2024-06-07 18:51 +0200
                Re: Last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 13:12 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 13:11 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 12:14 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 14:22 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 13:38 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 15:23 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 13:53 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 15:23 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-07 17:57 +0200
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 11:13 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 12:27 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 10:52 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard immibis <news@immibis.com> - 2024-06-07 18:00 +0200
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 12:28 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Alan Mackenzie <acm@muc.de> - 2024-06-07 17:50 +0000
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 14:31 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard wij <wyniijj5@gmail.com> - 2024-06-08 03:42 +0800
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 15:50 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Alan Mackenzie <acm@muc.de> - 2024-06-07 19:57 +0000
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard (we wish) olcott <polcott333@gmail.com> - 2024-06-07 17:11 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard (we wish) Richard Damon <richard@damon-family.org> - 2024-06-07 18:18 -0400
                Re: At least 100 people kept denying the easily verified fact -- closure olcott <polcott333@gmail.com> - 2024-06-07 19:32 -0500
                Re: At least 100 people kept denying the easily verified fact -- closure Richard Damon <richard@damon-family.org> - 2024-06-07 20:47 -0400
                Re: At least 100 people kept denying the easily verified fact -- closure olcott <polcott333@gmail.com> - 2024-06-07 19:52 -0500
                Re: At least 100 people kept denying the easily verified fact -- closure Richard Damon <richard@damon-family.org> - 2024-06-07 21:08 -0400
                Re: At least 100 people kept denying the easily verified fact -- closure olcott <polcott333@gmail.com> - 2024-06-07 20:26 -0500
                Re: At least 100 people kept denying the easily verified fact -- closure Richard Damon <richard@damon-family.org> - 2024-06-07 21:42 -0400
                Re: At least 100 people kept denying the easily verified fact -- closure olcott <polcott333@gmail.com> - 2024-06-07 20:48 -0500
                Re: At least 100 people kept denying the easily verified fact -- closure Richard Damon <richard@damon-family.org> - 2024-06-07 22:11 -0400
                Re: At least 100 people kept denying the easily verified fact -- closure olcott <polcott333@gmail.com> - 2024-06-07 21:35 -0500
                Re: At least 100 people kept denying the easily verified fact -- closure Richard Damon <richard@damon-family.org> - 2024-06-07 22:46 -0400
                Re: At least 100 people kept denying the easily verified fact -- closure olcott <polcott333@gmail.com> - 2024-06-07 21:54 -0500
                Re: At least 100 people kept denying the easily verified fact -- closure Richard Damon <richard@damon-family.org> - 2024-06-07 23:11 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard olcott <polcott333@gmail.com> - 2024-06-07 18:31 -0500
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard Richard Damon <richard@damon-family.org> - 2024-06-07 20:35 -0400
                Re: At least 100 people kept denying the easily verified fact --- last communication with Richard immibis <news@immibis.com> - 2024-06-07 18:01 +0200
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-06 00:57 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-06 07:11 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-06 08:08 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-06 22:08 -0400
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-06 08:27 -0500
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-06 22:08 -0400
                Re: At least 100 people kept denying the easily verified fact Mikko <mikko.levanto@iki.fi> - 2024-06-06 13:50 +0300
                Re: At least 100 people kept denying the easily verified fact Mikko <mikko.levanto@iki.fi> - 2024-06-06 13:26 +0300
              Re: At least 100 people kept denying the easily verified fact ornott <news2@immibis.com> - 2024-06-06 18:48 +0200
                Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-06 11:56 -0500
                Re: At least 100 people kept denying the easily verified fact prescott <news2@immibis.com> - 2024-06-06 20:03 +0200
                Re: At least 100 people kept denying the easily verified fact Richard Damon <richard@damon-family.org> - 2024-06-06 22:08 -0400
  Re: At least 100 people kept denying the easily verified fact Mikko <mikko.levanto@iki.fi> - 2024-06-05 09:50 +0300
  Re: At least 100 people kept denying the easily verified fact "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-05 10:02 +0200
    Re: At least 100 people kept denying the easily verified fact olcott <polcott333@gmail.com> - 2024-06-05 08:54 -0500
      Re: At least 100 people kept denying the easily verified fact "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-05 20:39 +0200

csiph-web