Coverart for item
The Resource Roads to infinity : the mathematics of truth and proof, John Stillwell

Roads to infinity : the mathematics of truth and proof, John Stillwell

Label
Roads to infinity : the mathematics of truth and proof
Title
Roads to infinity
Title remainder
the mathematics of truth and proof
Statement of responsibility
John Stillwell
Creator
Subject
Language
eng
Summary
Offers an introduction to modern ideas about infinity and their implications for mathematics. It unifies ideas from set theory and mathematical logic, and traces their effects on mainstream mathematical topics of today, such as number theory and combinatorics. From publisher description
Member of
Action
digitized
Cataloging source
CUS
http://library.link/vocab/creatorName
Stillwell, John
Dewey number
511.3/22
Illustrations
illustrations
Index
index present
LC call number
QA248
LC item number
.S778 2010
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/subjectName
  • Set theory
  • Infinite
  • Logic, Symbolic and mathematical
  • MATHEMATICS
  • Infinite
  • Logic, Symbolic and mathematical
  • Set theory
Label
Roads to infinity : the mathematics of truth and proof, John Stillwell
Instantiates
Publication
Bibliography note
Includes bibliographical references (page 183188) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The diagonal argument : Counting and countability ; Does one infinite size fit all? ; Cantor's diagonal argument ; Transcendental numbers ; Other uncountability proofs ; Rates of growth ; The cardinality of the continuum ; Historical background -- Ordinals : Counting past infinity ; The countable ordinals ; The axiom of choice ; The continuum hypothesis ; Induction ; Cantor normal form ; Goodstein's Theorem ; Hercules and the Hydra ; Historical background -- Computability and proof : Formal systems ; Post's approach to incompleteness ; Gödel's first incompleteness theorem ; Gödel's second incompleteness theorem ; Formalization of computability ; The halting problem ; The entscheidungsproblem ; Historical background -- Logic : Propositional logic ; A classical system ; A cut-free system for propositional logic ; Happy endings ; Predicate logic ; Completeness, consistency, happy endings ; Historical background -- Arithmetic : How might we prove consistency? ; Formal arithmetic ; The systems PA and PA ; Embedding PA and PA; Cut elimination in PA ; The height of this great argument ; Roads to infinity ; Historical background -- Natural unprovable sentences : A generalized Goodstein Theorem ; Countable ordinals via natural numbers ; From generalized Goodstein to well-ordering ; Generalized and ordinary Goodstein ; Provably computable functions ; Complete disorder is impossible ; The hardest theorem in graph theory ; Historical background -- Axioms of infinity : Set theory without infinity ; Inaccessible cardinals ; The axiom of determinacy ; Largeness axioms for arithmetic ; Large cardinals and finite mathematics ; Historical background
Control code
752580854
Extent
1 online resource (xi, 203 pages)
Form of item
online
Isbn
9781439865507
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1201/b11162
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
tandf_234398
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)752580854
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Roads to infinity : the mathematics of truth and proof, John Stillwell
Publication
Bibliography note
Includes bibliographical references (page 183188) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The diagonal argument : Counting and countability ; Does one infinite size fit all? ; Cantor's diagonal argument ; Transcendental numbers ; Other uncountability proofs ; Rates of growth ; The cardinality of the continuum ; Historical background -- Ordinals : Counting past infinity ; The countable ordinals ; The axiom of choice ; The continuum hypothesis ; Induction ; Cantor normal form ; Goodstein's Theorem ; Hercules and the Hydra ; Historical background -- Computability and proof : Formal systems ; Post's approach to incompleteness ; Gödel's first incompleteness theorem ; Gödel's second incompleteness theorem ; Formalization of computability ; The halting problem ; The entscheidungsproblem ; Historical background -- Logic : Propositional logic ; A classical system ; A cut-free system for propositional logic ; Happy endings ; Predicate logic ; Completeness, consistency, happy endings ; Historical background -- Arithmetic : How might we prove consistency? ; Formal arithmetic ; The systems PA and PA ; Embedding PA and PA; Cut elimination in PA ; The height of this great argument ; Roads to infinity ; Historical background -- Natural unprovable sentences : A generalized Goodstein Theorem ; Countable ordinals via natural numbers ; From generalized Goodstein to well-ordering ; Generalized and ordinary Goodstein ; Provably computable functions ; Complete disorder is impossible ; The hardest theorem in graph theory ; Historical background -- Axioms of infinity : Set theory without infinity ; Inaccessible cardinals ; The axiom of determinacy ; Largeness axioms for arithmetic ; Large cardinals and finite mathematics ; Historical background
Control code
752580854
Extent
1 online resource (xi, 203 pages)
Form of item
online
Isbn
9781439865507
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1201/b11162
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
tandf_234398
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)752580854
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...