Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #123002
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c++, comp.lang.c |
| Subject | Re: Will keep posting this every day until someone answers truthfully |
| Date | 2025-11-14 02:32 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <20251113182603.463@kylheku.com> (permalink) |
| References | <20251113155854.784@kylheku.com> <10f5ti1$2hs87$1@dont-email.me> <20251113164050.449@kylheku.com> <10f5upq$2i4jm$1@dont-email.me> |
Cross-posted to 3 groups.
On 2025-11-14, olcott <polcott333@gmail.com> wrote:
> So you still don't understand that when H sees
> that D calls the same function twice in sequence
> with the same arguments and has no conditional
> code inbetween its invocation and this function
> call that this is isomorphic to infinite recursion?
No. Obvious counterexample:
void D(void)
{
printf("calling this twice\n");
// no conditionals here
printf("calling this twice\n");
}
You're simply not able to run a simple specification through your head
to identify the ways in which it might not reflect your intent.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-13 18:36 -0600
Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-13 18:57 -0600
Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 02:32 +0000
Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-13 20:38 -0600
Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 06:35 +0000
Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 08:13 -0600
Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 18:01 +0000
Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 12:19 -0600
Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-13 20:39 -0600
Re: Will keep posting this every day until someone answers truthfully Bonita Montero <Bonita.Montero@gmail.com> - 2025-11-14 09:38 +0100
csiph-web