\documentstyle[11pt,twoside]{article}
\input{defs-6045}
\begin{document}

\handout{ps7-solutions}{Solutions to Homework 7}{April 8, 1992}


\medskip

The solutions that are provided here are examples of some of the 
best student solutions.  They might not always be perfect but are a
good example of what is expected in order to get a maximal grade.
 
The first problem was a bit unusual and designed to make U realize
that the issues addressed in this class are not artificial:
we are  actually surrounded with non-decidable problems!
Lots of people out there that never took 6.045 (and read the
science section of the New-York Times!) might even think that
the problem of developing a universal software checker 
would be solved if more money was spent in the enterprise.
We know better!


\end{document}
