Halting Problem Proves That Lethal Robots Can't Correctly Decide to Kill a Human

The preprint of the original paper, "Logical Limitations to Machine Ethics with Consequences to Lethal Autonomous Weapons", is here: http://arxiv.org/abs/1411.2842