Linguistics 726: Mathematical Linguistics

Barbara Partee and Vladimir Borschev
Fall 2006, University of Massachusetts, Amherst

Ling726 2006 home | description | homework | book errata | links | LING 726 2004 Website

Homework 6 to Lecture 5: due Oct 5, 2006. (this wasn't given in 2004; it was HW 14 in 2001.) 

Infinities. I. PtMW, pp 71-73, Exercises 2, 3, 4, 5, 6. Optional 7, 8.  II. PtMW, p. 84, Exercise 4. For (4b), when it says "without using the results of Chapter 4", it means to do a "diagonal proof", rather than proving by putting the set into 1-1 correspondence with some set known to be denumerably infinite. III.Question from Quiz 1 in Ling 409.

Posted: Instructor's index, a sample fallacious diagonal proof, and several student solutions.

Instructor's Index (pdf)

Instructors' Note: A falacious diagonal proof 

Solution 1
Solution 2
Solution 3