Fundamental Controllability Limits

The research field AGIFundamental Controllability Limits of Engineerable Control & Safety Impossibility Theorems (AGILECSIT) has the purpose of verifying (both the empirical soundness of premises and validity of formal reasoning of):

1. multiple domains of sense/action.action;
2. intrinsic non-reducible possibility for self-modification;.
3. and that/therefore; that the meta-algorithm is effectively arbitrary; hence;
4. that it is inherently undecidable as to whether all aspects of its own self agency/intention are fully defined by only its builders/developers/creators.