I didn't read it beyond the abstract either but if the arguement is anything like the abstract suggests it is hugely flawed. In contol theory we can make state

I didn't read it beyond the abstract either but if the arguement is anything like the abstract suggests it is hugely flawed. In contol theory we can make statements what states a system can reach when coupled with an arbitrary controller which also includes ones that can simulate the entire world. The fact that we can't prove a general intelligence to be well behaved is irrelevant if we can draw the system boundaries and choose the interface.