Блог пользователя The-Winner

Автор The-Winner, история, 2 дня назад, По-английски

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.

  • Проголосовать: нравится
  • +223
  • Проголосовать: не нравится

»
2 дня назад, # |
  Проголосовать: нравится -92 Проголосовать: не нравится

I can prove them easily

  • »
    »
    35 часов назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    skibidi

»
35 часов назад, # |
  Проголосовать: нравится +3 Проголосовать: не нравится

Sometimes authors think that they can prove them