THE FUTURE OF REVERSE MATHEMATICS
		        Harvey M. Friedman

We start our discussion of the future of reverse mathematics by examining
its origins and its place in the foundations of mathematics. We discuss
attractive features of reverse mathematics for the working recursion
theorist. We discuss the interpretability conjecture.

We discuss interpretations of the reverse mathematics conception that are
more severe than what is reflected by reverse mathematics today. We present
some recent work that is in the direction of what we call "severe reverse
mathematics." We discuss a huge collection of specific open problems of a
new kind in severe reverse mathematics.

We discuss a number of new results and open problems in reverse mathematics
as it is currently developed. These results and problems are mostly
connected with ATR_0 and Pi-1-1-CA_0.