codex666's blog

Do you need to prove correctness or can you get away with intuition?
By codex666, history, 4 years ago, In English

Dear brethren, I can almost comeup with solution to problems, but miss one or two edge cases. This really sucks. For high rated people here, do you always prove correctness of algorithms when implementating or can you get away with just intuition? How many of you high rated peers has never proven or seen techniques of proof and just get by with killer intuition? Would love to here your opinions. Much love to all!!

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

Comments Comments (4)
| Write comment?
»
4 years ago, # |
  Vote: I like it +14 Vote: I do not like it

You get away with AC.

→ Reply
»
4 years ago, # |
  Vote: I like it 0 Vote: I do not like it

You can get away with correct intuition

→ Reply
»
4 years ago, # |
  Vote: I like it +36 Vote: I do not like it

Usually I prove.

→ Reply
»
4 years ago, # |
  Vote: I like it +33 Vote: I do not like it

Mathematical intuition is mostly the result of practice.
When you routinely prove solutions, you see what is right and what is wrong.
In turn, that improves your initial guess for the next time you have to prove something.

So, no practice in proving, no experience to improve your guessing.

→ Reply