عنوان

The logic of Infinity /

(Number (ISBN

1107058317

(Number (ISBN

1107678668

(Number (ISBN

9781107058316

(Number (ISBN

9781107678668

Number

dltt

Title Proper

The logic of Infinity /

General Material Designation

[Book]

First Statement of Responsibility

Barnaby Sheppard

Specific Material Designation and Extent of Item

xxiv, 473 pages :

Other Physical Details

illustrations ;

Dimensions

25 cm

Text of Note

Includes bibliographical references (pages 429-461) and index

Text of Note

Introduction -- 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

0

Text of Note

Few 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. --Provided by publisher

Logic, Symbolic and mathematical

Set theory

Class number

Book number

Sheppard, Barnaby

Date of Transaction

20171016060116.1

Cataloguing Rules (Descriptive Conventions))

rda

Electronic name

[Book]

Y