## graph theory

In the 1930s the logician Kurt Gödel showed that if you set out proper rules for mathematics, you lose the ability to decide whether certain statements are true or false. This is rather shocking and you may wonder why Gödel's result hasn't wiped out mathematics once and for all. The answer is that, initially at least, the unprovable statements logicians came up with were quite contrived. But are they about to enter mainstream mathematics?

It is thought that the next great advances in biology and medicine will be discovered with mathematics. As biology stands on the brink of becoming a theoretical science, Thomas Fink asks if there is more to this collaboration than maths acting as biology's newest microscope. Will theoretical biology lead to new and exciting maths, just as theoretical physics did in the last two centuries? And is there a mathematically elegant story behind life?

A new mathematical analysis of team tactics predicts a Spanish win in Sunday's FIFA World Cup final and also sheds some light on why England were trashed by Germany.

*On the origin of species*, but also 200 years since the birth of its author, Charles Darwin. At the heart of Darwin's theory of evolution lies a beautifully simple mathematical object: the evolutionary tree. In this article we look at how maths is used to reconstruct and understand it.

**Imre Leader**looks at the colourful world of Ramsey Theory.