5 ms·
That's not very actionable advice. I've found this article [0] from Terence Tao very insightful: [A]ctual solutions to a major problem tend to be arrived at
by __tmk__ 3y ago
That's not very actionable advice. I've found this article [0] from Terence Tao very insightful:
[A]ctual solutions to a major problem tend to be arrived at by a process more like the following (often involving several mathematicians over a period of years or decades, with many of the intermediate steps described here being significant publishable papers in their own right):
1. Isolate a toy model case x of major problem X.
2. Solve model case x using method A.
3. Try using method A to solve the full problem X.
4. This does not succeed, but method A can be extended to handle a few more model cases of X, such as x’ and x”.
5. Eventually, it is realised that method A relies crucially on a property P being true; this property is known for x, x’, and x”, thus explaining the current progress so far.
6. Conjecture that P is true for all instances of problem X.
7. Discover a family of counterexamples y, y’, y”, … to this conjecture. This shows that either method A has to be adapted to avoid reliance on P, or that a new method is needed.
8. Take the simplest counterexample y in this family, and try to prove X for this special case. Meanwhile, try to see whether method A can work in the absence of P.
(... 15 more steps)
[0]: https://terrytao.wordpress.com/career-advice/be-sceptical-of-your-own-work/ https://terrytao.wordpress.com/career-advice/be-sceptical-of...
- mathgenius 3y agoThat's about how to solve problems, but to do research you need to find good problems, and that turns out to be more important, imo. How do you pick "major problem X" anyway? This strategy from Tao just leads to incremental results...
- fn-mote 3y ago1. If Tao (a Fields medalist) is telling you a process to follow, a dismissal of "just leads to incremental results" requires more evidence than just a bald claim. IMO, he's giving away his working process for free. 2. If "all" you want is tenure at a research 1 institution in the us, there's a lot to be said for this process. Another ingredient is "pick an area where other people will be interested in the results." PS I don't know what to make of your username, but perhaps you have more to say about picking a problem... in which case I'm sure many of us would love to hear it.
- PartiallyTyped 3y agoThis is a great way to go about implementing features that deal with complex situations in NP-Complete problems, where you know a subset is trivially solvable, you build patterns / approaches for said problem, and for the remaining cases, just use approximate solutions.
- steppi 3y agoTao’s advice is characteristically excellent but I think Eugenia Cheng’s advice (not just the article title but as a whole) is actionable, just not so much for someone who is ready for specific advice like Tao’s. Her message seems to be targeted towards those who are just getting started and who may not otherwise have been interested in studying math.
- deleted 3y ago[deleted]
- itissid 3y agoOverheard at the watercooler: The only way a CS guy knows how to prove an algorithm works/does not work is to find counterexamples.
- aoki 3y agoMy real analysis instructor drily pointed out “You really like proof by contradiction huh” and my defense was that my main life skill is spotting why plausible-seeming things don’t work correctly
- User23 3y agoWatercooler guy has never heard of Mathematical Engineering or Edsger Dijkstra. If he had then he'd know that proof by construction is the method par excellence for showing an algorithm is correct.
- JohnKemeny 3y agoSeems hard to prove that an algorithm works by finding counterexamples.
- panda-giddiness 3y agoJust express it as an n-state Turing machine and see if it halts within BB(n) steps. /s
- AnimalMuppet 3y agoAnd, if n is large enough, then I can retire today.
- contravariant 3y agoI think most bugs are the result of someone's attempt to do just that. As is test-driven development I suppose. Then again proving code works isn't everything either. There's a reason Knuth once stated "Beware of bugs in the above code; I have only proved it correct, not tried it." Type checking is a nice intermediate, though not all languages allow all properties you care about to be encoded in types.
- _Microft 3y agoPolya‘s „How to solve it“ might also be worth a look. Summary: https://www.math.utah.edu/~alfeld/math/polya.html https://www.math.utah.edu/~alfeld/math/polya.html
- morkalork 3y agoI loved this book and respect the author but to be honest, for anyone that doesn't already know, it is geared towards highschool level mathematics. Still a great book though.
- randen 3y agoI read this book while I was studying mathematics as an undergraduate. I found the information in it to be very helpful. The math is lower level, but the problem solving techniques that the author presents generalize very nicely to upper level mathematics. I’m not sure that I’d say that it’s geared toward high school students. I think that it’s geared toward beginner math students.
- tomjakubowski 3y agoit uses high school math for examples which is great because most readers will already be familiar with the problems you can apply the techniques anywhere though - I think the book is much more philosophy than math
- SkyBelow 3y agoFrom the number of math channels I follow, the common advice I see for handling a complex problem is to start with a simpler version of it and solve it. Try simplifying it in a few different ways, find a few different ways to solve each simplification, and then see which ways of solving the problem might work to solve the more complex problem. With experience one gets better at finding the right simplification with less effort/time invested.
- resource0x 3y agoAnd then erase all intermediate steps and just publish the end result - which no one will understand (including yourself a couple of years later), but that's OK /s
- Ar-Curunir 3y agoIncreasingly this evolution is spread across multiple papers, and is not enclosed within a single paper. So you can partially follow the chain of thought.
- hgomersall 3y agoI've lamented this effect of the paper writing process for some time. I think a paper should present the steps taken by the authors to arrive at the new results, not just the new results in isolation. Those steps often provide so much useful insight.
- einpoklum 3y agoI think so too, but then, (many/most) papers will need to be 2x or 3x longer - which is fine by me, but conferences and journals have strict length limits.
- gsinclair 3y agoMaybe the scratch notes could be published outside of the paper itself. It’s not an ideal solution, of course, because links can go stale. But maybe it’s a starting point.
- hgomersall 3y agoOr better still, stop pretending there's any real limit on how long a publication can be.
- Ar-Curunir 3y agoIncreasingly this evolution is spread across multiple papers, and is not enclosed within a single paper.