[FOM] Question on Decidability of S2S

Harvey Friedman hmflogic at gmail.com
Mon Oct 19 18:42:28 EDT 2015


It would be helpful for the FOM readership to see a discussion of the
various proofs of S2S decidability, how they compare, and the best
most readable sources.

Harvey Friedman

http://www.cs.nyu.edu/pipermail/fom/2015-October/019245.html


More information about the FOM mailing list