| 000 | 02254nam a22003618i 4500 | ||
|---|---|---|---|
| 001 | CR9781139171618 | ||
| 003 | UkCbUP | ||
| 005 | 20200124160304.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 111013s1982||||enk o ||1 0|eng|d | ||
| 020 | _a9781139171618 (ebook) | ||
| 020 | _z9780521245098 (hardback) | ||
| 020 | _z9780521287616 (paperback) | ||
| 040 |
_aUkCbUP _beng _erda _cUkCbUP |
||
| 050 | 0 | 0 |
_aQA248 _b.H27 1982 |
| 082 | 0 | 0 |
_a510 _219 |
| 100 | 1 |
_aHamilton, A. G., _d1943- _eauthor. |
|
| 245 | 1 | 0 |
_aNumbers, sets, and axioms : _bthe apparatus of mathematics / _cA.G. Hamilton. |
| 246 | 3 | _aNumbers, Sets & Axioms | |
| 264 | 1 |
_aCambridge : _bCambridge University Press, _c1982. |
|
| 300 |
_a1 online resource (ix, 255 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). | ||
| 520 | _aFollowing the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a description and discussion of the fundamental conceptual and formal apparatus upon which modern pure mathematics relies. The author's intention is to remove some of the mystery that surrounds the foundations of mathematics. He emphasises the intuitive basis of mathematics; the basic notions are numbers and sets and they are considered both informally and formally. The role of axiom systems is part of the discussion but their limitations are pointed out. Formal set theory has its place in the book but Dr Hamilton recognises that this is a part of mathematics and not the basis on which it rests. Throughout, the abstract ideas are liberally illustrated by examples so this account should be well-suited, both specifically as a course text and, more broadly, as background reading. The reader is presumed to have some mathematical experience but no knowledge of mathematical logic is required. | ||
| 650 | 0 |
_aArithmetic _xFoundations. |
|
| 650 | 0 | _aSet theory. | |
| 650 | 0 | _aNumber theory. | |
| 776 | 0 | 8 |
_iPrint version: _z9780521245098 |
| 856 | 4 | 0 | _uhttps://doi.org/10.1017/CBO9781139171618 |
| 999 |
_c520560 _d520558 |
||