It is not the case that The simulation overhead assumption embeds a non-trivial empirical claim about machine architecture that is not derivable from pure mathematical definitions of SPACE classes.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.