| 000 | 02476nam a22003498i 4500 | ||
|---|---|---|---|
| 001 | CR9781107415614 | ||
| 003 | UkCbUP | ||
| 005 | 20200124160256.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 130723s2014||||enk o ||1 0|eng|d | ||
| 020 | _a9781107415614 (ebook) | ||
| 020 | _z9781107058316 (hardback) | ||
| 020 | _z9781107678668 (paperback) | ||
| 040 |
_aUkCbUP _beng _erda _cUkCbUP |
||
| 050 | 0 | 0 |
_aQA248 _b.S4179 2014 |
| 082 | 0 | 0 |
_a511.3/22 _223 |
| 100 | 1 |
_aSheppard, Barnaby, _eauthor. |
|
| 245 | 1 | 4 |
_aThe logic of infinity / _cBarnaby Sheppard. |
| 264 | 1 |
_aCambridge : _bCambridge University Press, _c2014. |
|
| 300 |
_a1 online resource (xxiv, 473 pages) : _bdigital, PDF file(s). |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 500 | _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). | ||
| 505 | 0 | _aIntroduction -- Logical foundations -- Avoiding Russell's paradox -- Further axioms -- Relations and order -- Ordinal numbers and the axiom of infinity -- Infinite arithmetic -- Cardinal numbers -- The axiom of choice and the continuum hypothesis -- Models -- From Gödel to Cohen. Peano arithmetic ; Zermelo-Fraenkel set theory ; Gödel's incompleteness theorems -- Bibliography -- Index. | |
| 520 | _aFew mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the door to an intricate axiomatic theory of sets which was born in the decades that followed. Written for the motivated novice, this book provides an overview of key ideas in set theory, bridging the gap between technical accounts of mathematical foundations and popular accounts of logic. Readers will learn of the formal construction of the classical number systems, from the natural numbers to the real numbers and beyond, and see how set theory has evolved to analyse such deep questions as the status of the continuum hypothesis and the axiom of choice. Remarks and digressions introduce the reader to some of the philosophical aspects of the subject and to adjacent mathematical topics. The rich, annotated bibliography encourages the dedicated reader to delve into what is now a vast literature. | ||
| 650 | 0 | _aSet theory. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 776 | 0 | 8 |
_iPrint version: _z9781107058316 |
| 856 | 4 | 0 | _uhttps://doi.org/10.1017/CBO9781107415614 |
| 999 |
_c519984 _d519982 |
||