Try to use latex here

$latex \LaTeX&s=X$

Advertisements
Posted in Uncategorized | Leave a comment

Practically P=NP?

Gödel's Lost Letter and P=NP

KonevLisitsaCropped

Boris Konev and Alexei Lisitsa are both researchers at the University of Liverpool, who work in Logic and Computation. They have recently made important progress on the Erd?s Discrepancy Problem using computer tools from logic. Unlike the approach of a PolyMath project on the problem, their proof comes from a single program that ran for just over 6 hours, a program administered only by them, but mostly not written by them.

Today Ken and I wish to talk about their paper and two consequences of it.

Their paper can be read at two levels. On the surface the paper is about the famous discrepancy conjecture of Paul Erd?s, which we have talked about before. I will state the precise conjecture in a moment, it was said that previously the best lower bound for a certain “constant” was 1 and they moved it to 2. Since Erd?s conjectured that…

View original post 1,694 more words

Posted in Uncategorized | Leave a comment

Photo 336 Vietnam – People 7

Nice pic

Today's photo

Sunday, day seven of this week’s themed blog on Vietnam and particularly the people of this lovely country. It’s a circular journey this week as we end where we started with two ladies, wearing those distinctive Vietnamese hats, caught in the shadows on a bright day .

P1020448 B&W contrast crop 1 frame NR 50%

Photo © Nick Ritchie Photography 2014

View original post

Posted in Uncategorized | Leave a comment

Record my idea here

Try input a math formula:

$A \cup B =\emptyset$

Posted in Uncategorized | Leave a comment

First blog

This is my first blog. I am going to record my progress on my learning and research, and PhD life. 

Let’s hit the road. 

Posted in Uncategorized | Leave a comment