Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #57878 > unrolled thread
| Started by | Mr Flibble <flibble@reddwarf.jmc.corp> |
|---|---|
| First post | 2022-09-24 13:45 +0100 |
| Last post | 2022-09-26 21:19 +0100 |
| Articles | 4 on this page of 24 — 6 participants |
Back to article view | Back to comp.theory
Halting problem proofs refuted (Flibble Signaling Decider) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 13:45 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 08:29 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 09:39 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 18:02 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 12:18 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 13:33 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 12:46 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 13:49 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <none-ya@beez-waxes.com> - 2022-09-24 13:15 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 14:33 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 13:40 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 15:02 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 15:08 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 15:04 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 16:39 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 16:31 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 17:55 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 20:10 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 15:05 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 21:39 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 20:19 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-09-25 02:50 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2022-09-26 13:09 -0700
Re: Halting problem proofs refuted (Flibble Signaling Decider) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-09-26 21:19 +0100
Page 2 of 2 — ← Prev page 1 [2]
| From | Mr Flibble <flibble@reddwarf.jmc.corp> |
|---|---|
| Date | 2022-09-24 20:19 +0100 |
| Subject | Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] |
| Message-ID | <20220924201934.0000785d@reddwarf.jmc.corp> |
| In reply to | #57884 |
On Sat, 24 Sep 2022 12:46:20 -0500
olcott <polcott2@gmail.com> wrote:
> On 9/24/2022 12:02 PM, Mr Flibble wrote:
> > On Sat, 24 Sep 2022 08:29:47 -0500
> > olcott <polcott2@gmail.com> wrote:
> >
> >> On 9/24/2022 7:45 AM, Mr Flibble wrote:
> >>> Hi!
> >>>
> >>> (N.B. I will continue to boast about this important original
> >>> solution to the halting problem until all of you stop engaging
> >>> with Olcott and his non-solution to the halting problem.)
> >> If my rebuttal to the halting problem proofs was incorrect then at
> >> least one person could correctly point out an error. So far no one
> >> has done that. Many people did point out their own false
> >> assumptions though.
> >>
> >>> I have an idea for a signaling simulating halt decider that forks
> >>> the simulation into two branches if the input calls the halt
> >>> decider as per [Strachey 1965]'s "Impossible Program":
> >>>
> >>> void P(void (*x)())
> >>> {
> >>> if (H(x, x))
> >>> infinite_loop: goto infinite_loop;
> >>> return;
> >>> }
>
>
> *Here is a copy of my function dating back before any of your
> versions*
>
> On 4/15/2022 1:33 PM, olcott wrote:
> > void P(u32 x)
> > {
> > if (H(x, x)) //
> > HERE: goto HERE;
> > }
>
> (a) Three of the names are identical.
> (b) The structure is identical.
> (c) You added the same "return" instruction that I added.
> (d) You converted the u32 x parameter to void function pointer as I
> have.
Interestingly as far as (d) is concerned I used a void function pointer
before you did so you copied me. This can be proven based on
publication dates of articles in this newsgroup and the commit date of
my GitHub repo.
/Flibble
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2022-09-25 02:50 +0100 |
| Message-ID | <877d1sw7cg.fsf@bsb.me.uk> |
| In reply to | #57878 |
Mr Flibble <flibble@reddwarf.jmc.corp> writes: > (N.B. I will continue to boast about this That's refreshing. Only three weeks ago you flatly denied you were boasting! -- Ben.
[toc] | [prev] | [next] | [standalone]
| From | Jeffrey Rubard <jeffreydanielrubard@gmail.com> |
|---|---|
| Date | 2022-09-26 13:09 -0700 |
| Message-ID | <9185c4bb-e669-46b5-b237-edbb2e7917fan@googlegroups.com> |
| In reply to | #57905 |
On Saturday, September 24, 2022 at 6:50:12 PM UTC-7, Ben Bacarisse wrote: > Mr Flibble <fli...@reddwarf.jmc.corp> writes: > > > (N.B. I will continue to boast about this > That's refreshing. Only three weeks ago you flatly denied you were > boasting! > > -- > Ben. "Flibble"? "It's like FUD." "Oh."
[toc] | [prev] | [next] | [standalone]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2022-09-26 21:19 +0100 |
| Message-ID | <87ill9vqh2.fsf@bsb.me.uk> |
| In reply to | #57922 |
Jeffrey Rubard <jeffreydanielrubard@gmail.com> writes: > "Flibble"? > "It's like FUD." > "Oh." Shhh! They are talking to each other... <tiptoes away...> -- Ben.
[toc] | [prev] | [standalone]
Page 2 of 2 — ← Prev page 1 [2]
Back to top | Article view | comp.theory
csiph-web