4 ms·

Naturally, by “everything there is to know” I meant within the confines of what’s possible to know

• ses1984 2y ago
  You should read godel escher bach by hofstadter.
• daef 2y ago
  Then I'm curious: is it possible to know when we know everything there is to know?
  • brap 2y ago
    Good question. I don’t know!
  • frotaur 2y ago
    The answer is no. There are statements for which knowing if they are decidable is undecidable.
    • daef 2y ago
      I know that \exists undecidable statements, I just don't know if this specific statement is decidable...
• supernewton 2y ago
  Note that being able to do this would imply P=NP.