Possible fatal flaws in the finite model part of Deolalikar’s proof Neil Immerman is one of the world’s experts on Finite Model Theory. He used insights from this area to co-discover the g… more →
Gödel's Lost Letter and P=NPwrote 11 months ago: In these past few days, I have been reading Martin Grohe’s survey on Finite Variable Logics in … more →
wrote 1 year ago: THERE IS NOT THE SLIGHTEST DOUBT THAT IF THE CRISIS OF LEADERSHIP IN THE WORLD IS NOT RESOLVED THEN … more →
wrote 1 year ago: Possible fatal flaws in the finite model part of Deolalikar’s proof Neil Immerman is one of th … more →