Author Archives: apgoucher

Generalised Riemann Hypothesis

You are probably familiar with the Riemann hypothesis. This concerns the behaviour of the Riemann zeta function, which is defined on the complex plane by analytic continuation of the following series: The behaviour of the zeroes of the function outside … Continue reading

Posted in Uncategorized | Leave a comment

AlphaGo Zero

Something amazing has happened. A couple of years ago, we closely followed the progress of AlphaGo, the distributed DeepMind algorithm which defeated Lee Sedol in four out of five games of the ancient board game Go. This has since been … Continue reading

Posted in Uncategorized | 2 Comments

Undecidability of contractibility

In the last post, we discussed Voevodsky’s homotopy type theory. One of the important notions is whether a space is contractible, this being the base case for the inductive definition of homotopy levels. It turns out that the algorithmic undecidability … Continue reading

Posted in Uncategorized | 1 Comment

Homotopy Type Theory

2017 has been an unfortunate year for Fields medallists. Maryam Mirzakhani, who won the Fields medal in 2014, passed away at the untimely age of 40. Two days ago, she was joined by Vladimir Voevodsky, 2002 Fields medallist, who was … Continue reading

Posted in Uncategorized | 1 Comment

Wallis Workshop

We’re pleased to announce a sequel to the Ada Lovelace Hackathon. Specifically, we’re organising a workshop on Sunday 27th November 2016 to commemorate the 400th birthday of John Wallis, Cambridge mathematician and Parliament’s chief cryptographer. His developments include early analysis … Continue reading

Posted in Uncategorized | 1 Comment

Is Craig Wright?

Today there has been an explosion of media interest in the claim by Craig Wright that he is the identity behind the pseudonymous creator of Bitcoin, Satoshi Nakamoto. However, his blog post is rather suspicious, as it contains various misconceptions … Continue reading

Posted in Uncategorized | 20 Comments

March miscellany

Several rather interesting developments have occurred this month. In inverse chronological order, they are summarised below: E8 and Λ24 lattices actually are optimal The lattices E8 and Λ24 are lattice packings of unit spheres in 8 and 24 dimensions, respectively. … Continue reading

Posted in Uncategorized | 4 Comments