The-Winner's blog

By The-Winner, history, 25 hours ago, In English

Some constructive problems just feel like they are the perfect examples of Gödel's incompleteness theorem. i.e. They are corect (they pass all tests), yet there is no way to prove that they are actually correct.

  • Vote: I like it
  • +210
  • Vote: I do not like it

»
19 hours ago, # |
  Vote: I like it -85 Vote: I do not like it

I can prove them easily

  • »
    »
    3 hours ago, # ^ |
      Vote: I like it 0 Vote: I do not like it

    skibidi

»
3 hours ago, # |
  Vote: I like it +7 Vote: I do not like it

Sometimes authors think that they can prove them

  • »
    »
    103 minutes ago, # ^ |
      Vote: I like it 0 Vote: I do not like it

    I remember that contest. I had submitted the wrong solution for C then.