Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #107250
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Newsgroups | comp.theory, sci.logic, comp.ai.philosophy |
| Subject | Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES |
| Date | 2024-06-15 21:19 -0400 |
| Organization | i2pn2 (i2pn.org) |
| Message-ID | <v4leiq$3n5d$8@i2pn2.org> (permalink) |
| References | (4 earlier) <v4l87j$3m8b0$2@dont-email.me> <v4l8jn$3n5d$3@i2pn2.org> <v4la7d$3m8b0$4@dont-email.me> <v4lan7$3n5c$2@i2pn2.org> <v4lcoo$3n4dj$3@dont-email.me> |
Cross-posted to 3 groups.
On 6/15/24 8:48 PM, olcott wrote: > On 6/15/2024 7:13 PM, Richard Damon wrote: >> On 6/15/24 8:05 PM, olcott wrote: >>> On 6/15/2024 6:37 PM, Richard Damon wrote: >>>> On 6/15/24 7:30 PM, olcott wrote: >>>>> On 6/15/2024 6:01 PM, Richard Damon wrote: >>>>>> On 6/15/24 5:56 PM, olcott wrote: >>>>>>> On 6/15/2024 11:33 AM, Richard Damon wrote: >>>>>>>> On 6/15/24 12:22 PM, olcott wrote: >>>>>>>>> On 6/13/2024 8:24 PM, Richard Damon wrote: >>>>>>>>> > On 6/13/24 11:32 AM, olcott wrote: >>>>>>>>> >> >>>>>>>>> >> It is contingent upon you to show the exact steps of how H >>>>>>>>> computes >>>>>>>>> >> the mapping from the x86 machine language finite string >>>>>>>>> input to >>>>>>>>> >> H(D,D) using the finite string transformation rules >>>>>>>>> specified by >>>>>>>>> >> the semantics of the x86 programming language that reaches the >>>>>>>>> >> behavior of the directly executed D(D) >>>>>>>>> >> >>>>>>>>> > >>>>>>>>> > Why? I don't claim it can. >>>>>>>>> >>>>>>>>> The first six steps of this mapping are when instructions >>>>>>>>> at the machine address range of [00000cfc] to [00000d06] >>>>>>>>> are simulated/executed. >>>>>>>>> >>>>>>>>> After that the behavior of D correctly simulated by H diverges >>>>>>>>> from the behavior of D(D) because the call to H(D,D) by D >>>>>>>>> correctly simulated by H cannot possibly return to D. >>>>>>>> >>>>>>>> Nope, the steps of D correctly simulated by H will EXACTLY match >>>>>>>> the steps of D directly executed, until H just gives up and >>>>>>>> guesses. >>>>>>>> >>>>>>> >>>>>>> When we can see that D correctly simulated by H cannot possibly >>>>>>> reach its simulated final state at machine address [00000d1d] >>>>>>> after one recursive simulation and the same applies for 2,3,...N >>>>>>> recursive simulations then we can abort the simulated input and >>>>>>> correctly report that D correctly simulated by H DOES NOT HALT. >>>>>> >>>>>> Nope. Because an aborted simulation doesn't say anything about >>>>>> Halting, >>>>>> >>>>> >>>>> It is the mathematical induction that says this. >>>>> >>>> WHAT "Mathematical Induction"? >>>> >>> >>> A proof by induction consists of two cases. The first, the base >>> case, proves the statement for n = 0 without assuming any knowledge >>> of other cases. The second case, the induction step, proves that >>> if the statement holds for any given case n = k then it must also >>> hold for the next case n = k + 1 These two steps establish that the >>> statement holds for every natural number n. >>> https://en.wikipedia.org/wiki/Mathematical_induction >> >> Ok, so you can parrot to words. >> >>> >>> It is true that after one recursive simulation of D correctly >>> simulated by H that D does not reach its simulated final state >>> at machine address [00000d1d]. >> >> Which means you consider that D has been bound to that first H, so you >> have instruciton to simulate in the call H. >> >>> >>> *We directly see this is true for every N thus no assumption needed* >>> It is true that after N recursive simulations of D correctly >>> simulated by H that D does not reach its simulated final state >>> at machine address [00000d1d]. >> >> Nope, because to do the first step, you had to bind the definition of >> the first H to D, and thus can not change it. > > So infinite sets are permanently beyond your grasp. > The above D simulated by any H has the same property > of never reaching its own simulated machine address > at [00000d1d]. > > What I mistook for dishonestly is simply a lack > of comprehension. > But it isn't an infinite set. We don't ask an infinite set a question, or give a decider an infinite set of inputs. We can pose the same question to an infinite set of machines, but we judge each of them individually. I thought you finally caught on that Linz is talking about taking *A* Turing Machine H that is assumed to be a Halt Decider, and building for it *AN* input H^ that he shows creates an impossible situation, so that H could not exist. You are just trying to obfuscate things by throwing in "infinte sets" but we still need to process them each individually. Yes, we can do that in parallel, but in individual problem units.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 11:22 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 12:33 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 16:56 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 19:01 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 18:30 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 19:37 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 19:05 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 20:13 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 19:48 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 21:19 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 20:42 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 21:58 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-16 11:00 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-16 07:48 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:19 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-17 07:57 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-18 11:01 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-18 07:48 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-18 19:04 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-16 10:53 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-16 07:47 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:20 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-17 08:03 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-17 18:46 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-18 11:03 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-18 07:57 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-18 19:05 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-18 13:55 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-19 11:36 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 08:44 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-20 08:05 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-20 00:19 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-18 14:04 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-19 09:58 +0200
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 07:58 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-19 15:46 +0200
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 09:55 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-19 17:39 +0200
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 10:46 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Alan Mackenzie <acm@muc.de> - 2024-06-19 16:29 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-19 12:07 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-20 09:53 +0200
csiph-web