Halting Problem Proves That A Lethal Robot Cannot Correctly Decide Whether To Kill A Human — The Physics arXiv Blog — Medium.