Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #118702
| From | Ben Bacarisse <ben@bsb.me.uk> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem |
| Date | 2025-05-12 17:32 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <87ikm5oklo.fsf@bsb.me.uk> (permalink) |
| References | (2 earlier) <7N2UP.527443$wBt6.464256@fx15.ams4> <vvqfgq$gmmk$1@dont-email.me> <os3UP.670056$BFJ.223954@fx13.ams4> <vvqja4$gldn$10@dont-email.me> <vvql92$g8ck$4@dont-email.me> |
Richard Heathfield <rjh@cpax.org.uk> writes:
> On 11/05/2025 17:29, olcott wrote:
>> On 5/11/2025 10:34 AM, Mr Flibble wrote:
>>> On Sun, 11 May 2025 16:25:14 +0100, Richard Heathfield wrote:
>>>
>>>> For a question to be semantically incorrect, it takes more than just
>>>> you
>>>> and your allies to be unhappy with it.
>>>
>>> For a question to be semantically correct, it takes more than just you
>>> and
>>> your allies to be happy with it.
>>>
>>> Your turn, mate.
>>>
>>> /Flibble
>> For a polar yes/no question to be proven incorrect
>> only requires that both yes and no are the wrong answer.
>
> Fair enough.
>
> Definition: YNA - a type of answer that has exactly one of exactly two
> possible values, either 'yes' xor 'no' - not both, not neither, and not
> banana or half-past four.
>
> The two questions I presented upthread, which I'll now label QA and QB, are
> both of type YNA. They are as follows:
>
> QA: "P is a syntactically correct program in some well-defined
> Turing-complete language. Does P stop when it is applied to this data
> X?"
Sometimes PO accepts this a yes/no question with a correct answer in
every case and sometimes he does not. On those days when he does accept
it, he asserts (quite unambiguously -- I can post a direct quote or a
message ID) that no is sometimes the correct answer even when P(X)
halts.
> QB: ``Is it possible to write a program that answers QA for arbitrary P and
> arbitrary X?"
>
> For any P and any X, QA has a correct YNA answer. What that answer is
> depends on P and X, but QA(P,X) can correctly answer with one valid YNA
> response or the other.
But on some days, PO does /not/ accept that there is a correct yes/no
answer to QA in every case. On those days, he thinks there is a
"pathological input" for which there is no correct answer.
This was a very common problem with students. They so buy into the
assumption "let H be a TM that decides halting" that they think that H'
and H^ (to use Linz's notation) also exist and so there really is a
concrete string of symbols (the encoding of H^ which I write as [H^])
such that H^([H^]) halts if it doesn't and doesn't halt if it does.
Of course, there are no pathological inputs like this because H does not
exist. For every TM, M, the machines M' and M^ do indeed exist, [M^]
really is some finite string of symbols and M^([M^]) either halts or it
does not halt. But because none of the infinite variety of Ms
implements the halting function, there is no paradox or pathological
input anywhere to be seen.
Aside... Forgive me for repeatedly replying to you. It's because I
know you from comp.lang.c and because you are, I think, new to this
thread which has been going on for over 20 years. I think everyone else
here knows the history, but you might not know what PO has said in the
past and, anyway, I think it helps to remind everyone that PO has given
the game away more than once.
All the recent junk using x86 simulations was once very much clearer.
He posted a function:
u32 Halts(u32 P, u32 I)
{
static u32* execution_trace;
slave_state->EIP = P; // Function to invoke
while (!Aborted)
{
u32 EIP = slave_state->EIP; // Instruction to be executed
DebugStep(master_state, slave_state); // Execute this instruction
PushBack(local_execution_trace_list, EIP);
Aborted = Needs_To_Be_Aborted(execution_trace, (u32)Halts);
}
return 0; // Does not halt
END_OF_CODE: // Input has normally terminated
return 1;
}
and explained that 0 (does not halt) is the correct return for the
classic "confounding input" like so:
"When we comment out the line of Halts() that tests for its need to
abort then H_Hat() remains in infinite recursion, proving that its
abort decision was correct."
All really clear: Halts is correct because it reports on what some other
program would do -- the H_Hat constructed from the modified Halts
function without the like that stops the simulation!
That was way too clear, so we got all more recent guff and, as far as I
know, he no loner ties to justify this ruse quite so explicitly. His
argument is now that the simulation is correct right up until the point
when it isn't (as Mike Terry demonstrated quite explicitly).
--
Ben.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 13:21 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 15:44 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 14:48 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 16:25 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 15:34 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 16:47 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 15:49 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 10:56 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 12:01 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem joes <noreply@example.org> - 2025-05-11 16:04 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 11:51 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 16:05 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 11:49 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 12:54 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 12:14 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 18:24 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 13:34 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 12:44 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 13:49 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 12:54 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 14:10 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 13:18 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 14:21 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 19:27 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 16:59 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 12:06 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 17:15 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 12:19 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 18:26 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 17:33 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 18:48 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 18:15 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 17:26 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 18:31 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-05-11 16:05 -0700
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 18:14 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 19:45 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 19:41 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 20:43 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 21:13 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 20:48 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 07:40 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem joes <noreply@example.org> - 2025-05-12 09:29 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 19:16 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 17:13 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 15:58 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 15:55 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 21:42 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 16:45 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 19:22 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 19:19 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-12 02:07 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 20:12 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-12 02:34 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 21:05 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-12 03:23 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 21:30 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 22:34 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 21:39 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 22:42 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 21:53 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 22:54 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 21:57 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-11 22:59 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 21:39 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 21:38 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mikko <mikko.levanto@iki.fi> - 2025-05-13 10:58 +0300
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 07:47 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-12 10:46 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-12 11:48 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-12 11:03 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-12 12:05 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 21:44 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 21:43 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 07:43 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 21:37 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 21:09 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-12 03:37 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-05-11 20:11 -0700
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 22:32 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-12 05:13 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 21:48 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-12 05:12 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-05-11 21:37 -0700
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-12 05:58 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-05-13 22:22 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-05-13 22:45 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 07:51 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-12 10:48 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-12 11:54 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 21:51 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 11:29 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 18:03 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Ben Bacarisse <ben@bsb.me.uk> - 2025-05-12 17:32 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-12 11:52 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 21:56 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-12 18:58 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Ben Bacarisse <ben@bsb.me.uk> - 2025-05-13 01:08 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem wij <wyniijj5@gmail.com> - 2025-05-13 06:57 +0800
Truthmaker Maximalism and pathological self-reference olcott <polcott333@gmail.com> - 2025-05-12 18:15 -0500
Re: Truthmaker Maximalism and pathological self-reference wij <wyniijj5@gmail.com> - 2025-05-13 07:28 +0800
Re: Truthmaker Maximalism and pathological self-reference olcott <polcott333@gmail.com> - 2025-05-12 18:39 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 15:54 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mikko <mikko.levanto@iki.fi> - 2025-05-12 11:59 +0300
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-11 10:49 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 17:11 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 15:48 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-12 10:22 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 21:59 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mikko <mikko.levanto@iki.fi> - 2025-05-13 11:18 +0300
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-11 14:59 +0000
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Heathfield <rjh@cpax.org.uk> - 2025-05-11 16:25 +0100
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 16:00 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-11 15:42 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mikko <mikko.levanto@iki.fi> - 2025-05-12 11:53 +0300
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-12 10:16 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-12 11:21 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-12 11:09 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-12 12:15 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem olcott <polcott333@gmail.com> - 2025-05-12 11:43 -0500
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem dbush <dbush.mobile@gmail.com> - 2025-05-12 12:49 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Richard Damon <richard@damon-family.org> - 2025-05-12 22:04 -0400
Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem Mikko <mikko.levanto@iki.fi> - 2025-05-13 11:27 +0300
csiph-web