 |
Posts by [email protected] |
 |
Post #AQvZxWa6TYpd5vnkq8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @highergeometer I've been reading the paper, and a basic el… |
|
|
|
Post #AQvkKiAOZD4rECTJDs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@plain_simon @johncarlosbaez @highergeometer no, formally the 4CT says somethin… |
|
|
|
Post #AQvkKqdl3vJnVaGs6K by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@plain_simon @johncarlosbaez @highergeometer yes, I think that's right. I … |
|
|
|
Post #AQvlDvYAVcyqfAv80e by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @plain_simon @highergeometer that's my guess as well. Actua… |
|
|
|
Post #AQwCCAsBGYEgMwfZxI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @plain_simon @highergeometer (I wonder whether it is a confusio… |
|
|
|
Post #AQwGCUKVKFKcWvK4xs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @plain_simon @highergeometer agreed that the proof looks wrong … |
|
|
|
Post #AQwKsbLU1yfwGh7LDE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @highergeometer I think this contradicts the claim in arXiv:221… |
|
|
|
Post #AQy63gs6iO49b37uAS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @plain_simon Let me just add that I thought the strategy of the… |
|
|
|
Post #AR9HsM7XwFDxiU2lqS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @bertwells @ramunas indeed, see also Opinion 51! https://sites.… |
|
|
|
Post #AR9IyWvelaK4vfzSfQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @asmeurer in Opinion 184, I think he misses that the ultimate g… |
|
|
|
Post #AfoVO4EXJHnwyyzZo0 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
So I had a quick read of the new paper "Degree of Satisfiability in Heytin… |
|
|
|
Post #AfoYzZYA8e5ggbkPjM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Maciej Bendkowski gave a talk at CLA a few years ago on a relat… |
|
|
|
Post #AfpLpb5MTDgeJ49JPE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @dpiponi Here I'm assuming that you can sample elements uni… |
|
|
|
Post #AfqfLNvh0n7v3eSRdY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew @JacquesC2 @ltchen I don't see an explicit mention of the adjuncti… |
|
|
|
Post #AfqfLO3UXnMhRq6fnE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew @JacquesC2 @ltchen good catch! Indeed seems this is something differe… |
|
|
|
Post #Al0xzrfPpOheEBBPQu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez This is a nice question. I thought I saw an "easy" pr… |
|
|
|
Post #Al1HMizEAMDj5y41Ts by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Still, I wonder if a variation of this argument could be made t… |
|
|
|
Post #ArZFTJzswCAOHaNwVk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Gödel's first and second? |
|
|
|
Post #AsCAdc6ljf5k1aVqro by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@angelastella @johncarlosbaez Alejandro Díaz-Caro wrote a nice short article (… |
|
|
|
Post #AxcvEo9RUFI2SKin5c by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@gregeganSF @johncarlosbaez David Renshaw @david also recently created an anima… |
