# Monthly Archives: April 2013

## Gamma(1/4)

The Gamma function, Γ, is an extension of the factorial function to the complex plane. Specifically, Γ(n) = (n−1)! for all positive integers n. It is defined, more generally, by analytic continuation of the following integral, which converges for all complex numbers … Continue reading

For this week, I’ve decided to use a 95-year-old cipher employed by the German army during the First World War. You have the advantage, however, of the far greater computing power available today. FFXGDXXDG VVAFVXDDA DAVAXDFXG DVDAAAXFV AFAVGVVDV XGDXVXGAX AFDAVXADA … Continue reading

## Don’t do it!

Professor Sir Timothy Gowers FRS wrote about the usefulness of a particular proof strategy, known as ‘just do it’. He gives six example problems, providing proofs using this technique. I’ll now give alternative proofs, which use explicit constructions to avoid this idea completely. Problem … Continue reading

## 3D chess is Turing-complete

As promised, here is the remainder of the proof of the Turing-completeness of three-dimensional chess. In the first part, we introduced the rules; in the second part, we built structures to function as logic gates and wires. Counter machines Instead of … Continue reading

## BMO training

Assuming everything has gone to plan, I am now introducing myself at the British Mathematical Olympiad training camp at Trinity. I’ll be assisting the future IMO team by making tea and providing biscuits (integral, if somewhat overlooked, roles in the administration … Continue reading

## Circuitry in 3D chess

This is the second of a projected three-part series of articles, which will ultimately prove the Turing-completeness of three-dimensional chess. In the first article, I described the basic rules of the game. In this article, I shall show how to … Continue reading