Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Newsgroups | sci.logic |
| Subject | Re: How the requirements that Professor Sipser agreed to are exactly met |
| Date | 2025-05-13 10:41 +0300 |
| Organization | - |
| Message-ID | <vvut31$1mfgr$1@dont-email.me> (permalink) |
| References | <vvte01$14pca$29@dont-email.me> |
On 2025-05-12 18:17:37 +0000, olcott said:
> Introduction to the Theory of Computation 3rd Edition
> by Michael Sipser (Author)
> 4.4 out of 5 stars 568 rating
>
> https://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X
>
>
> int DD()
> {
> int Halt_Status = HHH(DD);
> if (Halt_Status)
> HERE: goto HERE;
> return Halt_Status;
> }
>
> DD correctly simulated by any pure simulator
> named HHH cannot possibly terminate thus proving
> that this criteria has been met:
>
> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
> If simulating halt decider H correctly simulates its
> input D until H correctly determines that its simulated D
> would never stop running unless aborted then
This specifies two requirements:
1. H correctly simulates that part of the behaviour of D that starts
from the start of the execution and does not end before the second
requirement is satisfied.
2. H correctly determines that unsimulated part of the behaviour is
infinitely long.
The second reuirement is not satisfied when HHH analyses the above
DD.
--
Mikko
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 13:17 -0500
Re: How the requirements that Professor Sipser agreed to are exactly met Mikko <mikko.levanto@iki.fi> - 2025-05-13 10:41 +0300
Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-13 08:54 -0500
Re: How the requirements that Professor Sipser agreed to are exactly met Mikko <mikko.levanto@iki.fi> - 2025-05-18 13:40 +0300
Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer olcott <polcott333@gmail.com> - 2025-05-17 10:31 -0500
csiph-web