Tricki

## Revision of Mathematicians need to be metamathematicians from Sun, 14/12/2008 - 18:31

### Quick description

If you want to prove a theorem, then one way of looking at your task is to regard it as a search, amongst the huge space of potential arguments, for one that will actually work. One can often considerably narrow down this formidable search by thinking hard about properties that a successful argument would have to have. In other words, it is a good idea to focus not just on the mathematical ideas associated with your hoped-for theorem, but also on the properties of different kinds of proofs. This very important principle is best illustrated with some examples.

What can a lower bound say about proofs of the upper bound?

When does reformulating a problem count as progress?

If you are getting stuck, then try to prove rigorously that your approach cannot work

Sharp results need sharp lemmas Quick description ( If you are trying to prove a sharp result, then all the intermediate steps need to be sharp as well. This greatly restricts what they can be, and therefore makes searching for them easier. For this reason it can be a good idea to try to prove a sharp result even when all you actually need is a weak bound.)

### Parent article

General problem-solving tips