4 ms·

Gödel says no https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...

• brap 2y ago
  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.