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:
Fill in your details below or click an icon to log in:
You are commenting using your WordPress.com account. ( Log Out / Change )
You are commenting using your Twitter account. ( Log Out / Change )
You are commenting using your Facebook account. ( Log Out / Change )
Connecting to %s
Notify me of follow-up comments via email.
Get every new post delivered to your Inbox.
Join 31 other followers