The-Winner's blog

By The-Winner, history, 3 weeks 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
  • +223
  • Vote: I do not like it

»
3 weeks ago, # |
  Vote: I like it -92 Vote: I do not like it

I can prove them easily

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

Sometimes authors think that they can prove them

  • »
    »
    3 weeks ago, # ^ |
      Vote: I like it -10 Vote: I do not like it

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