Tricki
a repository of mathematical know-how

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

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? Brief summary ( There are certain kinds of arguments that always lead to certain kinds of bounds. Therefore, if you are trying to prove a bound, you can often be sure that certain techniques will not be sufficient. This makes the search for techniques that do work more efficient. )

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 Brief summary ( 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

Comments

"Think about the converse"

"Think about the converse" should be added as a link in this article.