Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, comp.ai.philosophy, sci.math |
| Subject | Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" |
| Date | 2025-11-19 18:31 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <20251119102624.633@kylheku.com> (permalink) |
| References | (4 earlier) <10ffmnu$1100c$3@dont-email.me> <20251117144959.250@kylheku.com> <10fkrkv$2bc8l$3@dont-email.me> <20251119094036.932@kylheku.com> <10fl0es$2d0vq$3@dont-email.me> |
Cross-posted to 4 groups.
On 2025-11-19, Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> wrote: > On 19/11/2025 17:48, Kaz Kylheku wrote: > >> Recursive functions and Turing machines are equivalent. The halting >> problem is about recursive functions too. > > There exists an equivalent ... > > >> In any case, topics in the halting problem cannot be properly explored >> using impure procedures --- not in such a way that we assume that those >> procedures directly correspond to recursive functions. > > No. The Halting Theorem has no problems demonstrable with leaky > simulation (emulation) sandboxes. That is correct, but what you cannot say is that specific stateful procedures in that leaky simulation correspond to pure recursive functions in the theory of computation. (And, therefore, to individual Turing Machines.) You can build a model of your leaky sandbox in whch you identify what the Turing Machines or functions are. (Once you do that, it would probably make sense for your claims about halting to revolve around that.) > Topics can be explored with leaky sandboxes, topics such as "How can > leaky sandboxes and their effects be characterised?" and "What are the > relationships between various recursive functions and various Turing > Machines and their generalisations?" Olcott's leaky Halt7.obj/x86utm_exe sandbox /cannot/ be characterized in such a way we refer to the stateful C procedure HHH as a recursive primitive function. -- TXR Programming Language: http://nongnu.org/txr Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal Mastodon: @Kazinator@mstdn.ca
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: Stop responding to Olcott by December 2025: who is in? --- not a rehash olcott <polcott333@gmail.com> - 2025-11-15 19:21 -0600
Re: Stop responding to Olcott by December 2025: who is in? --- not a rehash Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-16 02:48 +0000
Re: Stop responding to Olcott by December 2025: who is in? --- not a rehash olcott <polcott333@gmail.com> - 2025-11-15 20:55 -0600
People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-15 21:01 -0600
Re: People that have a very shallow understanding of these things wij <wyniijj5@gmail.com> - 2025-11-16 12:09 +0800
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-15 23:13 -0600
Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 19:56 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 19:02 -0600
Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 02:21 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 21:47 -0600
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 21:49 -0600
Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 04:01 +0000
Re: People that have a very shallow understanding of these things "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-16 18:35 -0800
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 04:29 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 22:40 -0600
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 05:03 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 22:47 -0600
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 22:48 -0600
Halt Deciders cannot report on the behavior of their caller olcott <polcott333@gmail.com> - 2025-11-16 10:12 -0600
Kaz say that he is dumber than the Witch scene in Monty Python olcott <polcott333@gmail.com> - 2025-11-16 22:19 -0600
Kaz PROVES that he is dumber than the Witch scene in Monty Python olcott <polcott333@gmail.com> - 2025-11-16 22:25 -0600
Who agrees that Kaz is dumber than the Witch scene in Monty Python ? olcott <polcott333@gmail.com> - 2025-11-16 22:26 -0600
People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 07:12 -0600
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 18:06 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 12:14 -0600
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:47 +0000
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 18:16 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 12:22 -0600
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:49 +0000
Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 19:02 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 13:05 -0600
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 13:11 -0600
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 13:42 -0600
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 21:28 +0000
Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 22:24 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 17:02 -0600
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:49 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 19:52 -0600
Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 16:28 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-19 11:10 -0600
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 17:40 +0000
Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 15:51 +0000
Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-19 11:04 -0600
Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:23 +0000
People that have a very shallow understanding of these things --- AKA Kaz olcott <polcott333@gmail.com> - 2025-11-17 09:47 -0600
Re: People that have a very shallow understanding of these things --- AKA Kaz Alan Mackenzie <acm@muc.de> - 2025-11-17 16:32 +0000
People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-17 10:48 -0600
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Alan Mackenzie <acm@muc.de> - 2025-11-17 17:42 +0000
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-17 11:48 -0600
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" WM <wolfgang.mueckenheim@tha.de> - 2025-11-18 14:04 +0100
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Ben Bacarisse <ben@bsb.me.uk> - 2025-11-20 00:40 +0000
People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-17 11:41 -0600
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:58 +0000
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 16:35 +0000
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 17:48 +0000
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 17:57 +0000
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:31 +0000
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-19 12:39 -0600
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:54 +0000
Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-19 11:23 -0600
csiph-web