Questions tagged [independence]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
15
votes
3answers
2k views

Does P contain languages whose existence is independent of PA or ZFC? (TCS community wiki)

Answer: not known. The questions asked are natural, open, and apparently difficult; the question now is a community wiki. Overview The question seeks to divide languages belonging to the complexity ...