Moret’s “Theory of Computation” has a beautiful “Introduction”

Bernard M. Moret’s book on “The Theory of Computation” has the best Introduction I have ever read in any book. It has everything an Introduction should have: a chronological survey of key problems solved, key challenges, how these challenges can be categorised and what came out of these. After reading the intro, I can’t resist reading the rest of the book.

I was surprised to learn how Mathematicians and Logicians sowed seeds for the current digital era. The work of Godel, Church and Turing for instance are beyond doubt a must know for every “Computer” scientist. If the Theory of complexity, and Theory of Computability can be developed so nicely, there is no research in the world that cannot be well analyzed and presented.


Possessive Forms in English

Possessive forms are always confusing for any average English writer. The book “Elements of Style” starts with this issue. Here’s a small note with appropriate references.
Where to use ‘s?
  1. Charles’s friend
  2. Buns’s poems
Where not to use ‘s?
  1. Jesus’, (if old names end with us, es or is. Seems Charles is not an old name.)
  2. for conscience’ sake, for righteousness’ sake, Moses’ Laws, Isis’ temple.
  3. plurals – boys’, girls’, parents’ (note: parent’s and parents’ mean different things… former is singular and latter is plural)
  4. its, yours, ours, theirs, hers.
Special cases:
  1. It’s means “it is”.
  2. its means “belonging to it” (possessive).
  3. There is no ‘ or s after his.
Some readings: