Recently I attended an unusual and outstanding recursion theory
conference entitled ** Computability Theory
and Applications** (CTA for short). This AMS-INS-SIAM
conference took place June 13-17, 1999, in Boulder, Colorado.

At the CTA conference I gave an invited talk entitled ** Open
Problems in Reverse Mathematics**. I plan to write up my talk
for publication in the conference proceedings. In the meantime, a
draft is available in several formats: HTML,
DVI, PS, PDF.

I run a mailing list called FOM for discussing foundations of mathematics. In June 1999 I initiated a discussion of the CTA conference. Unfortunately, part of the discussion took place on another list, but I will try to pull the whole discussion together here.

- Simpson, 10 June 1999, FOM: awe; an unusual recursion theory meeting
- Simpson, 21 June 1999, FOM: an unusual recursion theory meeting
- Simpson, 21 June 1999, FOM: an unusual recursion theory meeting; impressions of CTA talks
- Simpson, 23 June 1999, FOM: impressions of CTA talks; Shlapentokh's talk
- Soare, 9 July 1999, COMP-THY: announcement and corrections
- Simpson, 13 July 1999, FOM, COMP-THY: more on the CTA meeting
- Friedman, 14 July 1999, FOM: Open Criticism
- Simpson, 15 July 1999, FOM, COMP-THY: CTA meeting; applications; Nabutovsky-Weinberger
- Simpson, 16 July 1999, COMP-THY: Open Criticism
- Soare, 16 July 1999, COMP-THY: Simpson and Harvey Friedman replies to Boulder discussion
- Soare, 16 July 1999, COMP-THY: Conclusion
- Friedman, 19 July 1999, FOM: Invitation to Soare

t20@psu.edu / 15 December 1999