We recommend downloading and viewing or printing the Postscript files, due
to their much better presentation. Postscript files follow the style of
the text (fonts, sizes, notation, etc.), whereas HTML files use whatever tools
are at hand to render the mathematical formulae.
Exercise 5.3 (page 128): verify that definition by cases is primitive
recursive. Retrieve the Postscript file or the
HTML file.
Exercise 5.17 (page 165): prove that the Busy Beaver problem is undecidable.
Retrieve the Postscript file or the
HTML file.
Exercise 5.20 (page 166): prove every r.e. set has an injective enumerator.
Retrieve the Postscript file or the
HTML file.
Exercise 5.27 (page 167): prove that the given set is productive.
Retrieve the Postscript file or the
HTML file.