It is not the case that The claim presupposes a Platonist reading of complexity classes as describing intrinsic difficulty, whereas constructivists like Bridges and Richman argue complexity is relative to the formal system and proof methods available.
?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.