
Recent Posts
Archives
 November 2017
 October 2017
 November 2016
 May 2016
 March 2016
 February 2016
 December 2015
 September 2015
 March 2015
 February 2015
 January 2015
 December 2014
 November 2014
 October 2014
 September 2014
 August 2014
 July 2014
 June 2014
 May 2014
 April 2014
 March 2014
 February 2014
 January 2014
 December 2013
 November 2013
 October 2013
 September 2013
 August 2013
 July 2013
 June 2013
 May 2013
 April 2013
 March 2013
 February 2013
 January 2013
 December 2012
 November 2012
 October 2012
 September 2012
 August 2012
Categories
Meta
Corresponding Facebook page:
Follow me on Twitter
My Tweets
Category Archives: Uncategorized
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