According to the wordpress stats page, someone came to this blog by searching for “automated theorem proving and hodge conjecture”.
According to the wordpress stats page, someone came to this blog by searching for “automated theorem proving and hodge conjecture”.
Filed under math
Now more people will come when they search this.
I just searched the same keyword, and your blog is now on the top. The next one is rjlipton.wordpress.com, whose title is “Gödel’s lost letter and P=NP”.
Maybe the person who made that search was inspired by this paper from a respected expert:
http://arxiv.org/abs/math/0410224