Sujet : Re: Why does Olcott care about simulation, anyway?
De : ben (at) *nospam* bsb.me.uk (Ben Bacarisse)
Groupes : comp.theory sci.logicDate : 03. Jun 2024, 11:42:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <87h6eamkgf.fsf@bsb.me.uk>
References : 1 2
User-Agent : Gnus/5.13 (Gnus v5.13)
Mike Terry <
news.dead.person.stones@darjeeling.plus.com> writes:
PO's D(D) halts, as illustrated in various traces that have been posted here.
PO's H(D,D) returns 0 : [NOT halting] also as illustrated in various traces.
i.e. exactly as the Linz proof claims. PO has acknowledged both these
results. Same for the HH/DD variants.
>
You might imagine that's the end of the matter - PO failed. :)
>
That's right, but PO just carries on anyway!
He has quite explicitly stated that false (0) is the correct result for
H(D,D) "even though D(D) halts". I am mystified why anyone continues to
discuss the matter until he equally explicitly repudiates that claim.
So really, there's no /need/ to "refute" everything he says - the end
result will be exactly the same as just ignoring him, BUT WITH THE LATTER
ONLY NEEDING 0.1% OF THE EFFORT and eliminating 99.9% of the posting
clutter in these newsgroups. [ok, comp.theory will die pretty quickly, but
it is not discussing anything useful, so that's ok for most people... (with
some reluctance)]
Do we know that? There's the start of a discussion of quines on
comp.lang.c that probably belongs here, but no will dare come here to
discuss it because of all the junk.
-- Ben.
Date | Sujet | # | | Auteur |
3 Jun 24 | Why does Olcott care about simulation, anyway? | 332 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | Richard Damon |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 309 | | Mike Terry |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 29 | | olcott |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 26 | | Mike Terry |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 25 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 23 | | Mike Terry |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 22 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 21 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 20 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 13 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 12 | | olcott |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 10 | | Mikko |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 9 | | olcott |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | wij |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | olcott |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 5 | | Mikko |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 4 | | olcott |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 3 | | Mikko |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | olcott |
7 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 6 | | Mike Terry |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 5 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 3 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | olcott |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 279 | | Ben Bacarisse |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 277 | | olcott |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 73 | | Mikko |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 72 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 2 | | joes |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 67 | | Mikko |
4 Jun 24 | Halting Problem is wrong two different ways | 66 | | olcott |
4 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | immibis |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 41 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 40 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 21 | | John Smith |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 20 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 4 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 2 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 15 | | John Smith |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 14 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | John Smith |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | joes |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | joes |
6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 5 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 3 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 2 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 2 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 17 | | Fred. Zwarts |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 16 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 7 | | Fred. Zwarts |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 5 | | Fred. Zwarts |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 4 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Fred. Zwarts |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | immibis |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 7 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 4 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Mikko |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 23 | | Mikko |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 22 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | joes |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 18 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 17 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 16 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 15 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 14 | | Mikko |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 13 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 8 | | joes |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 7 | | olcott |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | Mikko |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 5 | | olcott |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
9 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | immibis |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 201 | | Fred. Zwarts |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | Richard Damon |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | Mike Terry |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 20 | | Fred. Zwarts |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | Mikko |