Theoretical Computing Science Research Question

A Theoretical Computing Science Research Question is a pure research question within a theoretical Computing Science discipline.

• Context:
  • It can attempt to:
    • Find limits of computationally sound interactive proofs, which prove a statement by performing a computation that would be infeasible if the statement were false.
    • …
• Example(s):
  • P vs. NP?.
  • …
• Counter-Example(s):
  • an Applied Computing Science Research Question.
• See: Computational Complexity Theory.

---