02596oam 2200613I 450 991046457720332120200520144314.00-429-10494-41-4398-6550-710.1201/b11162 (CKB)3400000000084896(EBL)1633378(SSID)ssj0000531634(PQKBManifestationID)11337929(PQKBTitleCode)TC0000531634(PQKBWorkID)10496368(PQKB)10976165(MiAaPQ)EBC1633378(Au-PeEL)EBL1633378(CaPaEBR)ebr11002730(CaONFJC)MIL694021(OCoLC)752580854(EXLCZ)99340000000008489620180331d2010 uy 0engur|n|---|||||txtccrRoads to infinity the mathematics of truth and proof /John StillwellNatick, Mass. :A.K. Peters,2010.1 online resource (202 p.)Description based upon print version of record.1-322-62739-8 1-56881-466-6 Includes bibliographical references and index.Front Cover; Contents; Preface; - Chapter 1 - The Diagonal Argument; - Chapter 2 - Ordinals; - Chapter 3 - Computability and Proof; - Chapter 4 - Logic; - Chapter 5 - Arithmetic; - Chapter 6 - Natural Unprovable Sentences; - Chapter 7 - Axioms of Infinity; Bibliography; Back CoverWinner of a CHOICE Outstanding Academic Title Award for 2011!This book 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. The treatment is historical and partly informal, but with due attention to the subtleties of the subject. Ideas are shown to evolve from natural mathematical questions about the nature of infinity and the nature of proof, set against a background of broader questions Set theoryInfiniteLogic, Symbolic and mathematicalElectronic books.Set theory.Infinite.Logic, Symbolic and mathematical.511.3/22Stillwell John.41902MiAaPQMiAaPQMiAaPQBOOK9910464577203321Roads to infinity2179034UNINA