Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mr Flibble <flibble@reddwarf.jmc> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: On recursion and infinite recursion (reprise #2) |
| Message-ID | <20220504190059.000033ad@reddwarf.jmc> (permalink) |
| References | <20220504174626.0000449b@reddwarf.jmc> <t4ub35$ug9$1@dont-email.me> <20220504175632.0000720d@reddwarf.jmc> <t4uei3$tp2$3@dont-email.me> |
| Organization | Jupiter Mining Corp |
| Date | 2022-05-04 19:00 +0100 |
On Wed, 4 May 2022 12:53:06 -0500 olcott <polcott2@gmail.com> wrote: > On 5/4/2022 11:56 AM, Mr Flibble wrote: > > On Wed, 4 May 2022 10:53:57 -0600 > > André G. Isaak <agisaak@gm.invalid> wrote: > > > >> On 2022-05-04 10:46, Mr Flibble wrote: > >>> The halting problem theorem and proof thereof [Turing, 1937] > >>> (upon > >> > >> The halting *problem* and the halting *theorem* are two different > >> things. You can't "prove" a problem. The halting theorem states > >> that the halting problem has no solution. That's what Turing > >> proved. > > > > And if you actually read what I actually wrote: "halting problem > > THEOREM". > > > > /Flibble > > > > Seems close enough to me. What? I used the word theorem deliberately as I was referring not to the halting problem itself but Turing's theorem and proof. /Flibble
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
On recursion and infinite recursion (reprise #2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-04 17:46 +0100
Re: On recursion and infinite recursion (reprise #2) André G. Isaak <agisaak@gm.invalid> - 2022-05-04 10:53 -0600
Re: On recursion and infinite recursion (reprise #2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-04 17:56 +0100
Re: On recursion and infinite recursion (reprise #2) olcott <polcott2@gmail.com> - 2022-05-04 12:53 -0500
Re: On recursion and infinite recursion (reprise #2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-04 19:00 +0100
Re: On recursion and infinite recursion (reprise #2) olcott <polcott2@gmail.com> - 2022-05-04 12:52 -0500
Re: On recursion and infinite recursion (reprise #2) olcott <polcott2@gmail.com> - 2022-05-04 12:51 -0500
Re: On recursion and infinite recursion (reprise #2) Richard Damon <Richard@Damon-Family.org> - 2022-05-04 19:42 -0400
Re: On recursion and infinite recursion (reprise #2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 00:51 +0100
Re: On recursion and infinite recursion (reprise #2) Python <python@example.invalid> - 2022-05-05 01:58 +0200
Re: On recursion and infinite recursion (reprise #2) Richard Damon <Richard@Damon-Family.org> - 2022-05-04 20:02 -0400
Re: On recursion and infinite recursion (reprise #2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 01:05 +0100
Re: On recursion and infinite recursion (reprise #2) Richard Damon <Richard@Damon-Family.org> - 2022-05-04 20:21 -0400
Re: On recursion and infinite recursion (reprise #2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 01:24 +0100
Re: On recursion and infinite recursion (reprise #2) Richard Damon <Richard@Damon-Family.org> - 2022-05-04 20:41 -0400
Re: On recursion and infinite recursion (reprise #2) Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 17:47 +0100
Re: On recursion and infinite recursion (reprise #2) olcott <polcott2@gmail.com> - 2022-05-05 16:40 -0500
Re: On recursion and infinite recursion (reprise #2) Richard Damon <Richard@Damon-Family.org> - 2022-05-05 22:28 -0400
csiph-web