Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #86848
| From | Kaz Kylheku <864-117-4973@kylheku.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, comp.lang.c, comp.lang.c++ |
| Subject | Re: Simulating halt deciders refute the halting theorem |
| Date | 2022-10-09 20:43 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <20221009131628.275@kylheku.com> (permalink) |
| References | <tht411$9s6g$1@dont-email.me> <thuib6$gidb$1@dont-email.me> <thv7k3$h9v6$14@dont-email.me> |
Cross-posted to 4 groups.
On 2022-10-09, olcott <polcott2@gmail.com> wrote: > The halting theorem prevents any serious funding of termination analysis > research https://en.wikipedia.org/wiki/Termination_analysis Even if so, you're not making the best of use of the self-funding you have; your research goes in circles. If you were funded, and they found out you just post volumes on Usenet without going anywhere, it's likely the funding would be swiftly cut off. It's not a probelm of money. -- TXR Programming Language: http://nongnu.org/txr Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-08 19:18 -0500
Re: Simulating halt deciders refute the halting theorem Muttley@dastardlyhq.com - 2022-10-09 09:23 +0000
Re: Simulating halt deciders refute the halting theorem Bonita Montero <Bonita.Montero@gmail.com> - 2022-10-09 15:29 +0200
Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-09 14:32 -0500
Re: Simulating halt deciders refute the halting theorem Kaz Kylheku <864-117-4973@kylheku.com> - 2022-10-09 20:43 +0000
Re: Simulating halt deciders refute the halting theorem Tim Rentsch <tr.17687@z991.linuxsc.com> - 2022-10-10 09:31 -0700
Re: Simulating halt deciders refute the halting theorem olcott <polcott2@gmail.com> - 2022-10-10 12:05 -0500
csiph-web