I have a two-fold question - theoretical and practical. Where do I ask it? Thereotical: Does Rice's theorem imply safe AI is undecideable? (Meaning "safety", for any reasonable definition of safety, cannot be decided in general for Turing machines, including AI.) This question could be rigor...