Typos in the course notes
in order by page

Will be updated as they come to light. Negative page numbers indicate a count up from the bottom of the page.

p. 8, line -8: "need give connection" should read "need not give any connection"

p. 19, exercise 2.3.13 (iv): N should be Z

p. 36, line preceding Example 3.2.5: "= 0]." should read "= 0 & (∀ z < y) θ(x1, ..., xn, z)↓]."

p. 53, Corollary 4.5.4: should say "any partial computable function".

p. 57: between Definition 4.6.3 and Example 4.6.4 it should note "We will assume for this section that the collection of productions for any semi-Thue system under consideration may be enumerated."

p. 65: Exercise 5.1.5 should specify "total computable function" (though as written it is not incorrect).

p. 66: Exercise 5.1.9 should say  ⊆ A and likewise for B.

p. 90: Definition 8.3.5, line 2: should read "using only the symbols in the language and standard logical symbols one may write"

Back to main m29 page

Last modified May 14, 2009