Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] |
| Date | 2021-07-30 11:06 -0600 |
| Organization | Christians and Atheists United Against Creeping Agnosticism |
| Message-ID | <se1bj4$gu$1@dont-email.me> (permalink) |
| References | <29qdnTcRYNdXn5n8nZ2dnUU7-LfNnZ2d@giganews.com> |
On 2021-07-30 07:46, olcott wrote:
> int Simulate(u32 P, u32 I)
> {
> ((int(*)(int))P)(I);
> return 1;
> }
Why is this function called 'Simulate'?
There's nothing remotely resembling simulation going on there. The
function is simply calling the function pointer that was passed to it.
That's execution, not simulation.
Which raises all sorts of questions regarding your previous usage of the
term 'simulate'. Does your 'simulating decider' actually involve
simulation at all?
André
--
To email remove 'invalid' & replace 'gm' with well known Google mail
service.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 08:46 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 15:09 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 10:40 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 19:27 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 13:45 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-30 13:28 -0700
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-30 21:47 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 16:43 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-30 14:51 -0700
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 16:59 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-30 15:21 -0700
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 17:45 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-30 16:32 -0700
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 18:44 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-30 17:25 -0700
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-31 23:17 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-31 21:34 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-01 11:22 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-08-01 23:07 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-02 17:32 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-08-02 13:37 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-03 01:25 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-08-02 20:02 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-03 02:58 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-08-02 21:26 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-08-03 04:10 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-08-02 22:39 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-08-02 22:29 -0700
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-08-04 19:45 +0100
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-08-02 22:22 -0700
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-30 11:06 -0600
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 12:11 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-30 15:46 -0600
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 16:53 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-30 16:13 -0600
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 17:43 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-30 17:01 -0600
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-30 17:18 -0600
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 18:34 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-30 20:05 -0600
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 21:33 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] André G. Isaak <agisaak@gm.invalid> - 2021-07-30 21:09 -0600
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] olcott <NoOne@NoWhere.com> - 2021-07-30 22:23 -0500
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Richard Damon <Richard@Damon-Family.org> - 2021-07-30 20:57 -0700
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ] Jeff Barnett <jbb@notatt.com> - 2021-07-30 22:26 -0600
csiph-web