9 Jul
2023
9 Jul
'23
10:48 p.m.
ok there’s a small space where it might be possible if f() can take the entire execution system state as input: i.e. the state of the turing machine. then it can determine whether it is the inner or outer simulation, or in more complex scenarios otherwise engage in meta-analysis of the shared system.
i guess this does simplify to accessing state that the user or calling function cannot mutate. it limits the ways in which the functions can utilize each other.