Two-tracking the debate on RM

Mikhail Katz katzmik at
Fri Oct 8 02:10:08 EDT 2021

Dear colleagues,
There has been an intriguing debate recently on the foundations of Reverse
Mathematics among some of the best practitioners in the field.
It is clear (to me anyway) that there are (at least) two distinct
philosophical ways of viewing RM, its purpose, and its modus operandi.
It is somewhat tedious when the sides accuse each other of fundamental
misconceptions, major misunderstandings, and the like.
What I was going to propose is that someone develop, say, a two-track
approach to the debate on RM, formulating, first, the key issues, and then
how each of the (say) two sides relates to them in their distinct ways.
This may help separate more clearly the philosophical assumptions from the
mathematical nuts-and-bolts.
Misha Katz

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211008/ac5d00c2/attachment-0001.html>

More information about the FOM mailing list