On: Did HAL Commit Murder?

[missosoup]

I think myopically selecting the easiest to dismiss part of what you're replying to, a part that was a deliberately simple example of where provers can and have failed, is not arguing in good faith. The rest of the argument stands even in a hypothetical world where provers are prefect.

[criddell → missosoup]

My argument holds even when you extend it to the rest of what you say.

Mechanical and electrical systems can also be built correctly to an specification that's ultimately inadequate.