[Joke] Constructive problems

Revision en3, by The-Winner, 2025-01-26 17:28:44

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.

Tags jokes, constructive

History

 
 
 
 
Revisions
 
 
  Rev. Lang. By When Δ Comment
en3 English The-Winner 2025-01-26 17:28:44 0 (published)
en2 English The-Winner 2025-01-26 17:28:16 5 Tiny change: ' theorem. They are' -> ' theorem. i.e. They are'
en1 English The-Winner 2025-01-26 17:27:33 234 Initial revision (saved to drafts)