[FrontPage] [TitleIndex] [WordIndex] 

Note: You are looking at a static copy of the former PineWiki site, used for class notes by James Aspnes from 2003 to 2012. Many mathematical formulas are broken, and there are likely to be other bugs as well. These will most likely not be fixed. You may be able to find more up-to-date versions of some of these notes at http://www.cs.yale.edu/homes/aspnes/#classes.

Readings: RosenBook Sections 1.3 and 1.4.

Note: The "unique successor" axiom from the nested quantifiers example given in lecture isn't one of the PeanoAxioms; instead one uses a "unique predecessor" axiom that says for all x, x', y, and y' that if x'=y' and Sxx' and Syy', then x=y. Together with the other axioms, this gives something that looks much more like the natural numbers.

2014-06-17 11:57