Inverse View

It is not the case that The modal claim that L is necessarily a proper subset of PSPACE may be unprovable within the formal systems we use to reason about computation, making 'proper subset' a claim about provability, not possibility.

?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.

Based on where you are in your exploration

It is not the case that The modal claim that L is *necessarily* a proper subset of PSPACE may be unprovable within the formal systems we use to reason about computation, making 'proper subset' a claim about provability, not possibility.