Roads to infinity
Stillwell, John.
Roads to infinity the mathematics of truth and proof / [electronic resource] : John Stillwell. - Natick, Mass. : A.K. Peters, c2010. - xi, 203 p. : ill.
Includes bibliographical references (p. 183-188) and index.
1. The diagonal argument -- 2. Ordinals -- 3. Computability and proof -- 4. Logic -- 5. Arithmetic -- 6. Natural unprovable sentences -- 7. Axioms of infinity.
Mode of access: World Wide Web.
9781439865507 (ebook : PDF)
Set theory.
Infinite.
Logic, Symbolic and mathematical.
Electronic books.
Roads to infinity the mathematics of truth and proof / [electronic resource] : John Stillwell. - Natick, Mass. : A.K. Peters, c2010. - xi, 203 p. : ill.
Includes bibliographical references (p. 183-188) and index.
1. The diagonal argument -- 2. Ordinals -- 3. Computability and proof -- 4. Logic -- 5. Arithmetic -- 6. Natural unprovable sentences -- 7. Axioms of infinity.
Mode of access: World Wide Web.
9781439865507 (ebook : PDF)
Set theory.
Infinite.
Logic, Symbolic and mathematical.
Electronic books.