1.

Record Nr.

UNINA9910464577203321

Autore

Stillwell John

Titolo

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

Pubbl/distr/stampa

Natick, Mass. : , : A.K. Peters, , 2010

ISBN

0-429-10494-4

1-4398-6550-7

Descrizione fisica

1 online resource (202 p.)

Disciplina

511.3/22

Soggetti

Set theory

Infinite

Logic, Symbolic and mathematical

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

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 Cover

Sommario/riassunto

Winner 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