Quanta Magazine Covers Reverse Mathematics

An article just published in Quanta Magazine by Natalie Wolchover covers a recent result from reverse mathematics.  Keita Yokoyama and Ludovic Patey showed that Ramsey’s theorem for pairs is finitistically reducible, i.e., it is \(\Pi_3\) conservative over \(I\Sigma_1\). The article explains Ramsey’s theorem, but also Hilbert’s program and its more recent relativizations, i.e., the reverse mathematics program.

Leave a Reply

Your email address will not be published. Required fields are marked *