TBC, you can't postulate a perfect machine, and then point out the limits of machines (even using the halting problem to do so!) and then say, oops, that shows

TBC, you can't postulate a perfect machine, and then point out the limits of machines (even using the halting problem to do so!) and then say, oops, that shows that the perfect machine cannot be contained. Either machines are perfect, they are not perfect, or the line between those will just perpetually be redefined over generations as the computers become one with humans.