Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #107775
| From | joes <noreply@example.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: DDD correctly emulated by H0 --- Why Lie? |
| Date | 2024-06-25 09:14 +0000 |
| Organization | i2pn2 (i2pn.org) |
| Message-ID | <v5e1qd$11urb$3@i2pn2.org> (permalink) |
| References | (12 earlier) <v5aggb$jan3$1@dont-email.me> <v5ah6u$smd5$7@i2pn2.org> <v5ahkc$jgfe$1@dont-email.me> <v5ai8i$smd5$8@i2pn2.org> <v5aij8$nd1b$2@dont-email.me> |
Cross-posted to 2 groups.
Am Sun, 23 Jun 2024 20:36:39 -0500 schrieb olcott: > On 6/23/2024 8:30 PM, Richard Damon wrote: >> On 6/23/24 9:20 PM, olcott wrote: >>> On 6/23/2024 8:13 PM, Richard Damon wrote: >>>> On 6/23/24 9:00 PM, olcott wrote: >>>>> On 6/23/2024 7:24 PM, Richard Damon wrote: >>>>>> On 6/23/24 8:08 PM, olcott wrote: >>>>>>> On 6/23/2024 6:44 PM, Richard Damon wrote: >>>>>>>> On 6/23/24 7:34 PM, olcott wrote: >>>>>>>>> On 6/23/2024 5:58 PM, Richard Damon wrote: >>>>>>>>>> On 6/23/24 6:45 PM, olcott wrote: >>> I will not try any prove that 2 + 3 = 5, if you deny it then you are a >>> liar. >> And you don't need to, as it has been done. >> Now, showing how 2 + 3 = 5 would help show you how to write an actual >> proof. >> And, P(P) Halts since you have indicated that H(P,P) to returns 0. So it doesn't need to be aborted. > The actual verified fact is that when P is correctly emulated by H > according to the semantics of the x86 language that the call from P to > H(P,P) CANNOT POSSIBLY RETURN. So H is not a decider anymore? -- Man kann mit dunklen Zahlen nicht rechnen. Für die eigentliche Mathematik sind sie vollkommen nutzlos. --Wolfgang Mückenheim
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 08:40 -0500
Re: DDD correctly emulated by H0 --- Why Lie? (typo corrected) olcott <polcott333@gmail.com> - 2024-06-23 09:00 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 14:20 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 16:41 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 17:49 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 17:04 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 18:35 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 17:45 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 18:58 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 18:34 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 19:44 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 19:08 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 20:24 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 20:00 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 21:13 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 20:20 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 21:30 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 20:36 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 22:00 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 21:09 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 22:16 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 21:27 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 22:31 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 21:38 -0500
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 21:52 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 23:11 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 22:26 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-24 07:02 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-24 08:39 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-24 19:17 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-24 18:38 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-24 19:57 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-24 08:42 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-24 19:19 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-24 18:43 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-24 19:59 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 19:02 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-24 20:06 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 19:34 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-24 20:54 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 20:05 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-24 21:13 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 20:22 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-24 21:24 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure (typo) olcott <polcott333@gmail.com> - 2024-06-24 20:07 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure (typo) Richard Damon <richard@damon-family.org> - 2024-06-24 21:22 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 20:32 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-24 21:51 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 20:55 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-24 22:02 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 21:17 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-24 22:25 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 21:21 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-24 22:26 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 21:38 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-24 22:48 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 21:52 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-25 06:59 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-24 22:13 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-25 07:04 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-25 08:02 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-25 21:47 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-25 20:59 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-25 22:17 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-25 21:21 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-25 22:54 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-25 22:25 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-25 23:32 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-25 22:37 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-26 06:58 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-26 08:33 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-26 19:41 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-26 18:50 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-26 19:52 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-26 19:19 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-26 20:38 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-26 19:24 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-26 20:40 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-26 20:12 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-26 21:21 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-26 21:10 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-26 22:38 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-26 21:46 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-26 23:16 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-26 22:37 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-27 07:34 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-27 08:21 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-27 19:57 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-27 22:25 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-28 07:44 -0400
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-28 07:28 -0500
Re: Why Lie? -- Repeat until Closure joes <noreply@example.com> - 2024-06-28 12:58 +0000
Re: Why Lie? -- Repeat until Closure olcott <polcott333@gmail.com> - 2024-06-28 09:33 -0500
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Richard Damon <richard@damon-family.org> - 2024-06-28 23:49 -0400
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 23:09 -0400
Re: DDD correctly emulated by H0 --- Why Lie? joes <noreply@example.com> - 2024-06-25 09:14 +0000
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 20:33 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 22:03 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-23 21:13 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-23 22:28 -0400
Re: DDD correctly emulated by H0 --- Why Lie? joes <noreply@example.com> - 2024-06-24 19:44 +0000
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-24 15:05 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-24 19:19 -0400
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-26 07:02 -0400
Re: DDD correctly emulated by H0 --- Why Lie? olcott <polcott333@gmail.com> - 2024-06-26 08:48 -0500
Re: DDD correctly emulated by H0 --- Why Lie? Richard Damon <richard@damon-family.org> - 2024-06-26 19:47 -0400
csiph-web