Archive | April, 2015

Along the path

27 Apr

It’s almost four years since I created this blog. I have had little opportunity to develop this line of thought.

Meanwhile, there is a new theorem regarding the polynomial hierarchy. Its relationship to P vs NP is, according to the famous Scott A., like the relationship between the first attempts to prove Fermat’s Last Theorem, and the eventual proof by Andrew Wiles.

Wiles drew upon 20th-century innovations like those due to Grothendieck’s circle. I wonder if Mochizuki’s inter-universe theory can help GCT.