What are titles of research papers that should exist?
Show this thread
Heh. Fun prompt. "A proof that P versus NP is formally undecidable."
-
-
"A scalable approach to antimatter production"
-
"A proof that the Navier-Stokes equations are computationally universal" (I believe Terry Tao has a proof for a stripped down version)
-
"An Alcubierre-like solution to the field equations of general relativity, with realistic stress-energy tensor" (cf https://arxiv.org/abs/gr-qc/0009013 … )
-
"An approximate self-replicating system with fewer than 100 atoms"
-
"Why we sleep" (a correct answer would be wonderful...)
- 23 more replies
New conversation -
-
-
This one warps my brain a little - wouldn’t proving it undecidable mean we could never find an NP problem in P? Would this not imply P ≠NP?
-
There could be, say, a polynomial-time algorithm to solve an NP-complete problem, but it's not provably polynomial time.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.