Potentially allows models of worlds larger than the data structure representing the model, including models of worlds in which the model itself is embedded.
...is “beware impossibility results from computability theory”. Especially with multiple agents.
My immediate reaction[1] to:
...is “beware impossibility results from computability theory”. Especially with multiple agents.
(I haven’t yet watched said video, and am unlikely to.)