Hitting Walls in Proofs
Moderators: gmalivuk, Moderators General, Prelates
Hitting Walls in Proofs
What do you do when you've exhausted everything you can think to throw at a problem? Do you buckle down and force yourself to keep churning out ideas, scribbling on some paper? Do you go outside and do something completely different, and come back to it later, refreshed? Or perhaps you just sleep on it and the solution comes to you the next morning? I was just curious what most mathematicians do when dealing with this inevitable situation.
For me, I'd say I'm inclined to bashing at it until I grow tired and can't think about it productively anymore, and then force myself to work on other things. Only once has the "sleep" bit happened to me, and it was rather exciting. Evidently, I also create forum posts.
For me, I'd say I'm inclined to bashing at it until I grow tired and can't think about it productively anymore, and then force myself to work on other things. Only once has the "sleep" bit happened to me, and it was rather exciting. Evidently, I also create forum posts.
What they (mathematicians) define as interesting depends on their particular field of study; mathematical anaylsts find pain and extreme confusion interesting, whereas geometers are interested in beauty.
Re: Hitting Walls in Proofs
I find that doing something different helps. Your brain unconsciously works on things even when you don't pay attention to them, or something like that. Sleep helps too, as does eating.
Re: Hitting Walls in Proofs
I once had a professor who measured how long we should work on a problem set by the number of showers we should take. I also endorse train rides.
Re: Hitting Walls in Proofs
I find that the "go do something else" thing happens to me naturally. Perhaps more often than it should.
Jerry Bona wrote:The Axiom of Choice is obviously true; the Well Ordering Principle is obviously false; and who can tell about Zorn's Lemma?
 NathanielJ
 Posts: 882
 Joined: Sun Jan 13, 2008 9:04 pm UTC
Re: Hitting Walls in Proofs
My routine with difficult problems is generally:
1. Try to build a counterexample, and observe why I can't.
2. Use experience from (1) to build on the proof.
3. Take a break once I get stuck again.
Repeat as needed.
1. Try to build a counterexample, and observe why I can't.
2. Use experience from (1) to build on the proof.
3. Take a break once I get stuck again.
Repeat as needed.
 Cosmologicon
 Posts: 1806
 Joined: Sat Nov 25, 2006 9:47 am UTC
 Location: Cambridge MA USA
 Contact:
Re: Hitting Walls in Proofs
Change your point of view.
That video won't tell you anything you don't already know, but it's still fun.
That video won't tell you anything you don't already know, but it's still fun.
 skeptical scientist
 closedminded spiritualist
 Posts: 6142
 Joined: Tue Nov 28, 2006 6:09 am UTC
 Location: San Francisco
Re: Hitting Walls in Proofs
I try to do something completely different, but sometimes that approach backfires. I've gotten stuck on a problem and decided to read a book, only to realize that I haven't absorbed anything I've read in the last 5 pages because I'm still thinking about that stupid problem I'm stuck on. If that happens, I decide I wasn't ready to let it go, so I go back and think about it more until I'm really frustrated (at that point I can usually go back to reading and actually read).
When I am working on a problem and get stuck, I also do the "try and build a counterexample" thing. So I generally only get frustrated and stop when I'm stuck on both directions  proving the theorem and trying to find a counterexample.
When I am working on a problem and get stuck, I also do the "try and build a counterexample" thing. So I generally only get frustrated and stop when I'm stuck on both directions  proving the theorem and trying to find a counterexample.
I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.
"With math, all things are possible." —Rebecca Watson
"With math, all things are possible." —Rebecca Watson
Re: Hitting Walls in Proofs
When I get stuck on a problem, I usually end up getting up and doing something else for a bit to keep myself from trying the same approach(es) again and again. Even while doing something else though, I'll generally keep thinking about it in the back of my mind, and often times I'll figure it out or at least get another idea to try. I obsess about problems I can't get, especially if I know I should be able to get them.
Code: Select all
_=0,w=1,(*t)(int,int);a()??<char*p="[gd\
~/d~/\\b\x7F\177l*~/~djal{x}h!\005h";(++w
<033)?(putchar((*t)(w??(p:>,w?_:0XD)),a()
):0;%>O(x,l)??<_='['/7;{return!(x%(_11))
?x??'l:x^(1+ ++l);}??>main(){t=&O;w=a();}
Re: Hitting Walls in Proofs
if its homework of sorts, maybe try working backwards from the answer?
you might come to a point where the proof looks similar to the part you got stuck, then flip the portion and voila, qed
but i suppose this wont work for eh, more advanced stuff ;p
you might come to a point where the proof looks similar to the part you got stuck, then flip the portion and voila, qed
but i suppose this wont work for eh, more advanced stuff ;p
 intertubes
 Posts: 12
 Joined: Sun May 10, 2009 11:56 pm UTC
 Location: On Enceladus!
 Contact:
Re: Hitting Walls in Proofs
I've found that just taking a break and coming back to it will help me most of the time; usually I made a mistake that I'll catch when I leave and come back.
Take us to your food.
Re: Hitting Walls in Proofs
As far as I know, it still does, though not always.angelfire wrote:but i suppose this wont work for eh, more advanced stuff ;p
What I do myself is usually to take a walk or something.

 Posts: 165
 Joined: Wed Apr 11, 2007 10:17 am UTC
Re: Hitting Walls in Proofs
angelfire wrote:if its homework of sorts, maybe try working backwards from the answer?
you might come to a point where the proof looks similar to the part you got stuck, then flip the portion and voila, qed
but i suppose this wont work for eh, more advanced stuff ;p
It may not work if you aren't quite clear on how the answer should look like
I think it's most frustrating when you can intuitively see something to be true, yet are completely unable to find some sort of formal reasoning that even supports your idea with a bit of handwaving that could be closed by more thought.
Sometimes it helps just working through the definitions and basic theorems concerning the problem you're tackling again, there may be something in there you are missing or that leads to a new train of thought.
Re: Hitting Walls in Proofs
In an exam, as soon as I hit the slightest hurdle, I go on to the next question. My brain thinks very passively I guess? So I can frequently be seen flipping through the pages, working on several problems at once.
Outside of an exam, if I can't see a way to do something, I give it a small moment, and then work on the next problem (basically the same thing, but less tendency to change what I'm working on). When I get back to it, usually I'll have thought of a different way of looking at it or something. Otherwise rinse and repeat. If it's the last problem, I'll work on something else entirely (even something random, not related to the subject).
So apparently my one trick is using my brain like a multicore processor.
Outside of an exam, if I can't see a way to do something, I give it a small moment, and then work on the next problem (basically the same thing, but less tendency to change what I'm working on). When I get back to it, usually I'll have thought of a different way of looking at it or something. Otherwise rinse and repeat. If it's the last problem, I'll work on something else entirely (even something random, not related to the subject).
So apparently my one trick is using my brain like a multicore processor.
Re: Hitting Walls in Proofs
What works the best for me: Talk it out with someone who works on similar but somehow different things. Also, just someone who knows more (or at least as much) about the broader subject area than you. If you can hash it out with someone else on a whiteboard, get them caught up on everything you've got so far, sometimes they'll see a technique from their own work that might be worth trying to apply.
Re: Hitting Walls in Proofs
Talking it through with someone is really helpful. It is useful to have someone there to shoot down any ideas that won't work which means they I am more likely to throw them out there in the first place. Another good one is to try and prove/find in your notes something that is similar to what you are stuck on, and apply any techniques learnt to your problem.
My favourite is to determine what the simplest case is and prove it for that, then see if the proof can be generalised or if there is anything in the proof that will help.
My favourite is to determine what the simplest case is and prove it for that, then see if the proof can be generalised or if there is anything in the proof that will help.
Re: Hitting Walls in Proofs
I let my mind wander, look out of the window, go for a walk.
I'm actually really unproductive when sat in front of a desk with a pencil. But then the next morning under the shower, or while walking to the office I'll see an idea, or think of something useful to read up on.
The bad part about this is that if I'm really stuck I don't have any ways to push for the solution. You can't go for more vigorous walks.
Then it becomes invaluable to talk to other people. I am in mathematical physics, from what I have seen that is more collaborative then pure maths, so often I'll be working on something with other people, and I've found it best to work with people who are complementary to my approach, who throw the kitchen sink at the problem. It often means we can unstuck each other.
I'm actually really unproductive when sat in front of a desk with a pencil. But then the next morning under the shower, or while walking to the office I'll see an idea, or think of something useful to read up on.
The bad part about this is that if I'm really stuck I don't have any ways to push for the solution. You can't go for more vigorous walks.
Then it becomes invaluable to talk to other people. I am in mathematical physics, from what I have seen that is more collaborative then pure maths, so often I'll be working on something with other people, and I've found it best to work with people who are complementary to my approach, who throw the kitchen sink at the problem. It often means we can unstuck each other.
"I conclude that all is well," says Edipus, and that remark is sacred.
 Camus, The Myth of Sysiphus
Mental Health Break
 Camus, The Myth of Sysiphus
Mental Health Break
Who is online
Users browsing this forum: No registered users and 11 guests