The proof-theoretic strength of Ramsey's theorem for pairs and two colors — mentioned by Sniffnoy

Sun, 30 Jul 2017 04:34:23 GMT

A note -- if you're linking to arXiv, it's better to link to the abstract (https://arxiv.org/abs/1601.00050) rather than directly to the PDF. From the abstract, one can easily click through to the PDF; not so the reverse. And the abstract allows one to do things like see different versions of the paper, search for other things by the same authors, etc. Thank you!

Paper and discussion history. A mention is not an endorsement.

The proof-theoretic strength of Ramsey's theorem for pairs and two colors — mentioned by xamuel

Sun, 30 Jul 2017 03:11:47 GMT

A genuine breakthrough in the narrow realm of reverse mathematics. (The article exagerates that into a breakthrough in general, par for the course for science journalism.) Here's the actual paper: https://arxiv.org/pdf/1601.00050.pdf The quantamagazine article puts a lot of emphasis on the youth (34 and 27) of the researchers. I guess the journalist overlooked a more surprising age. Lu "Jiayi" Liu (whom the article briefly mentions for a preliminary result) was I think 20 years old when he made his discovery in 2012 which was a tentative step toward the stronger result in this article. I saw…

Paper and discussion history. A mention is not an endorsement.

The proof-theoretic strength of Ramsey's theorem for pairs and two colors · HackerPapers discussions

The proof-theoretic strength of Ramsey's theorem for pairs and two colors — mentioned by Sniffnoy

The proof-theoretic strength of Ramsey's theorem for pairs and two colors — mentioned by xamuel