Timeline for Techniques for debugging proofs
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 13, 2023 at 7:43 | comment | added | Jochen Wengenroth | As phrases like it is easy to see that... often hide errors ons should try to avoid them and replace the saved space by a hint to the simple argument like by calulus... or by the universal property.... | |
| May 1, 2022 at 6:05 | comment | added | Akiva Weinberger | Not directly related since this is a homework answer and not a publication, but my most recent p-set had a question with a "part (b)" that I just couldn't figure out how to answer. I had a guess as to what the answer was (I was guessing it looked similar to the answer to the first part of the question), so I simply wrote: "By the same logic as part (a), the result is [blah]" without proof. If one answer on that p-set is wrong, it's almost certainly that one, lol | |
| Apr 30, 2022 at 19:51 | comment | added | Hollis Williams | Putting the manuscript in a drawer for a few months is a good idea in principle, but maybe not ideal in a world where people are expected to put out articles at reasonable speed. | |
| Apr 30, 2022 at 3:27 | comment | added | Kapil | (1) The suggestion/trick apparently due to Gauss. (3) Is very good. Once you put your manuscript somewhere public, you start to feel more responsible to ensure its correctness! However, (1) and (3) kind of oppose each other. | |
| Apr 29, 2022 at 15:22 | comment | added | Todd Trimble | Hear, hear to the second. That's a trick I use when refereeing: look for those "clearly"s. | |
| Apr 29, 2022 at 15:18 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Apr 29, 2022 at 14:47 | comment | added | Timothy Chow | I agree with Seva's advice. When I set something aside and then try to re-read it, often I find that I don't understand certain things that I wrote. If even I'm confused then it's a sure sign the proof is not written well (even if the argument turns out to be correct). | |
| Apr 29, 2022 at 14:19 | comment | added | Alessandro Della Corte | @Z.M What was meant is that errors become instantly apparent once you submit a manuscript somewhere. | |
| Apr 29, 2022 at 14:02 | comment | added | Z. M | "You are guaranteed to find a bunch of mistakes in the following ten minutes." Really? For submitting to journals, it seems expected to wait for at least several months. | |
| Apr 29, 2022 at 13:48 | history | answered | Seva | CC BY-SA 4.0 |