Re: Not enough parallelism in programming

Nick Maclaren <nmm1@xxxxxxxxxxxxx> wrote:
>
> A's determinant! It does not change d - that is the point. The
> invariant that is broken is that d is not A's determinant on entry.
>
> Now exactly how can hardware detect that, in general, without
> solving the halting problem?

I don't think it *could* solve the problem even in the hypothetical case
where it could solve the halting problem. Because what is missing is any
description of intent about the value of d.

> Regards,
> Nick Maclaren.

--
Sander

+++ Out of cheese error +++
.

Relevant Pages