Re: Every D(D) simulated by H presents non-halting behavior to H ###

On 5/19/24 06:23, Mikko wrote:
...

Which version of the standard do the references refer to? I don't expect
these things vary from one version to the next but section and paragraph
numbers might.
 

The actual standards cost money, whereas draft standards are free. The
final draft before a new release of the standard is usually almost
identical to that release. I'm using n3096.pdf, which is a draft dated
2023-04-01.