[FOM] The Munich conference on reverse mathematics

[Martin Davis]

I'm happy to see that the field of reverse mathematics has achieved such a
mature level. In the context of this list, in whose founding Harvey
Friedman played an instrumental role, I think it is appropriate to recall
that it was also Harvey Friedman who founded the field of reverse
mathematics.

Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170804/e5d5bbfe/attachment.html>